Výsledky vyhledávání - Knowledge representation and reasoning Logic programming

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

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs…”
Získat plný text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments Autor 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…”
Získat plný text

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

“… Most notably, every problem definable in first-order logic can be solved in linear time on bounded expansion graph classes…”
Získat plný text

Compositional relational reasoning via operational game semantics Autor 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…”
Získat plný text

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication Autor 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 axioms for strict implication provable…”
Získat plný text

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

“…Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages…”
Získat plný text

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

“…We study a conservative extension of classical propositional logic distinguishing between four modes of statement…”
Získat plný text

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

“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types…”
Získat plný text

Inapproximability of Unique Games in Fixed-Point Logic with Counting Autor 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…”
Získat plný text

Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics Autor 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…”
Získat plný text

Feedback Turing Computability, and Turing Computability as Feedback Autor 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,…”
Získat plný text

Software engineering approach in the design and development of the industrial automation systems Autor 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…”
Získat plný 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…”
Získat plný text

Crowdsourced Linked Data Question Answering with AQUACOLD Autor 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…”
Získat plný text

DeepTelos Demonstration Autor 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,…”
Získat plný text

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

“… Recent work has shown that the syntactical approach performs well. In this paper, we show that Logic Programming, particularly Answer Set Programming (ASP…”
Získat plný text

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

“… We provide an Incremental Satisfiability framework that learns from (1) static logic implications, (2…”
Získat plný text

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

“… We will demonstrate the LLA/CLA system using a crowdsourcing data source and show how it can be used to discover new knowledge for a widening range of applications…”
Získat plný text

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

“…). Subjective logic, is an extension of probabilistic logic that deals with the cases of lack of evidences…”
Získat plný text

Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs Autor Madrid, Nicolás, Ojeda-Aciego, Manuel

“…In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation…”
Získat plný text