Search Results - "Knowledge representation and reasoning Logic programming"

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments by Jung, Jean Christoph, Wolter, Frank

“…In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In…”
Get full text

Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes by Dreier, Jan

“…The concept of bounded expansion provides a robust way to capture sparse graph classes with interesting algorithmic properties. Most notably, every problem…”
Get full text

Alignment Completeness for Relational Hoare Logics by Nagasamudram, Ramana, Naumann, David A.

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs. Several RHLs include a rule we call sequential product that infers…”
Get full text

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication by de Groot, Jim, Litak, Tadeusz, Pattinson, Dirk

“…Heyting-Lewis Logic is the extension of intuitionistic propositional logic with a strict implication connective that satisfies the constructive counterparts of…”
Get full text

Compositional relational reasoning via operational game semantics by Jaber, Guilhem, Murawski, Andrzej S.

“…We show how to use operational game semantics as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts…”
Get full text

Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics by Gazda, Maciej, Hierons, Robert M.

“…We explore the problem of finding a minimal complete test suite for a refusal trace (or failure trace) semantics. Since complete test suites are typically…”
Get full text

Inapproximability of Unique Games in Fixed-Point Logic with Counting by Tucker-Foltz, Jamie

“…We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC). We prove two…”
Get full text

A Constructive Logic with Classical Proofs and Refutations by Barenbaum, Pablo, Freund, Teodoro

“…We study a conservative extension of classical propositional logic distinguishing between four modes of statement: a proposition may be affirmed or denied, and…”
Get full text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses by Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

“…We present initial limit Datalog, a new extensible class of constrained Horn clauses for which the satisfiability problem is decidable. The class may be viewed…”
Get full text

Declarative Logic Programming: Theory, Systems, and Applications by Michael, Kifer, Liu, Yanhong

“…Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be…”
Get full text

Feedback Turing Computability, and Turing Computability as Feedback by Ackerman, Nathanael L., Freer, Cameron E., Lubarsky, Robert S.

“…The notion of a feedback query is a natural generalization of choosing for an oracle the set of indices of halting computations. Notice that, in that setting,…”
Get full text

Software engineering approach in the design and development of the industrial automation systems by Salihbegovic, Adnan, Cico, Zoran, Marinkovi, Vlatko, Karavdi, Elvedin

“…The objective of the paper is to present generalized approach in design and development of industrial automation systems based on software engineering…”
Get full text

Crowdsourced Linked Data Question Answering with AQUACOLD by Collis, Nicholas, Frommholz, Ingo

“…There is a need for Question Answering (QA) to return accurate answers to complex natural language questions over Linked Data, improving the accessibility of…”
Get full text

Citations for the Test-of-Time Award from 2001

“…Two awards were made in 2021 to honour outstanding papers from the IEEE Symposium On Logic In Computer Science 2001 held in Boston, MA, USA. The awards went to…”
Get full text

DeepTelos Demonstration by Jeusfeld, Manfred A.

“…DeepTelos is defined as a set of rules and constraints that enable multi-level modeling for the Telos metamodeling language. In its ConceptBase implementation,…”
Get full text

A Logic Programming Approach to Aspect Extraction in Opinion Mining by Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang

“…Aspect extraction aims to extract fine-grained opinion targets from opinion texts. Recent work has shown that the syntactical approach performs well. In this…”
Get full text

Discovering High-Value Information from Crowdsourcing by Zhao, Ying, MacKinnon, Douglas J., Zhou, Charles C.

“…We will demonstrate a distributed recursive method, i.e., Lexical Link Analysis (LLA) and an infrastructure, i.e., Collaborative Learning Agents (CLA) to…”
Get full text

Integration of Learning Techniques into Incremental Satisfiability for Efficient Path-Delay Fault Test Generation by Chandrasekar, Kameshwar, Hsiao, Michael S.

“…In recent years, several Electronic Design Automation (EDA) problems in testing and verification have been formulated as Boolean Satisfiability (SAT) instances…”
Get full text

Local Trust Versus Global Trust Networks in Subjective Logic by Haydar, Charif, Roussanaly, Azim, Boyer, Anne

“…Social web permits users to acquire information from anonymous people around the world. This leads to a serious question about the trustworthiness of…”
Get full text

Awareness and Forgetting of Facts and Agents by Ditmarsch, Hans van, French, Tim

“…We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget…”
Get full text