Results 21 to 30 of about 63,358 (127)
Conflict-driven ASP Solving with External Sources
, 2012 Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information, HEX-programs extend programs with external atoms, which allow for a bidirectional ...
Eiter, Thomas +3 more
core +2 more sources
A Galois connection between classical and intuitionistic logics. I: Syntax
, 2017 In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core
Logic Programming for Describing and Solving Planning Problems
, 2000 A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems.
Bruynooghe, Maurice
core +2 more sources
Models of Weak Theories of Truth
, 2017 In the following paper we propose a model-theoretical way of comparing the "strength" of various truth theories which are conservative over PA. Let $\mathfrak{Th}$ denote the class of models of PA which admit an expansion to a model of theory Th.
Wcisło, Bartosz, Łełyk, Mateusz
core +1 more source
Rigid and flexible quantification in plural predicate logic [PDF]
Noun phrases with overt determiners, such as \u3ci\u3esome apples\u3c/i\u3e or \u3ci\u3ea quantity of milk\u3c/i\u3e, differ from bare noun phrases like \u3ci\u3eapples\u3c/i\u3e or \u3ci\u3emilk\u3c/i\u3e in their contribution to aspectual composition ...
Bledin, Justin +2 more
core
The Event Calculus Assessed [PDF]
, 2013 The range of applicability of the Full Event Calculus is proven to be the Ksp-IA class in the Features and Fluents taxonomy. The proof is given with respect to the original definition of this preference logic, where no adjustments of the language or ...
Brandano, Sergio
core
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates [PDF]
, 2018 Ievgen Ivanov +2 more
openalex +1 more source
A cut-free proof system for a predicate extension of the logic of provability
, 2022 Yoshihito Tanaka
openalex +1 more source
On Generalized Records and Spatial Conjunction in Role Logic
, 2004 We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases.
Kuncak, Viktor, Rinard, Martin
core +4 more sources
Deontic Logics as Axiomatic Extensions of First-Order Predicate Logic: An Approach Inspired by Wolniewicz’s Formal Ontology of Situations [PDF]
, 2019 Andrzej Malec
openalex +1 more source