Results 101 to 110 of about 570,700 (231)
SOSAc-Reasoner: An ASP inference engine for automatic IoT context knowledge generation
SoftwareXThe SOSAc-Reasoner is a commonsense reasoning engine, implemented using Answer Set Programming. It is designed to automatically generate IoT context knowledge, representing the capabilities of system devices, from a simple smart scenario description. The
Ana Rubio +3 more
doaj +1 more source
Grounding and Solving in Answer Set Programming
AI Magazine, 2016 Answer set programming is a declarative problem‐solving paradigm that rests upon a work flow involving modeling, grounding, and solving. While the former is described by Gebser and Schaub (2016), we focus here on key issues in grounding, or how to systematically replace object variables by ground terms in an effective way, and solving, or how to ...
Kaufmann B +3 more
openaire +7 more sources
On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories
, 2016 Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of satisfiability modulo theories.
Lierler, Yuliya, Susman, Benjamin
core
Applications of intuitionistic logic in Answer Set Programming [PDF]
, 2004 Mauricio Osorio +2 more
openalex +1 more source
Induction from answer sets in nonmonotonic logic programs [PDF]
, 2005 Chiaki Sakama
openalex +1 more source
Guarded Open Answer Set Programming with Generalized Literals [PDF]
, 2006 Stijn Heymans +2 more
openalex +1 more source
Answer set programming and plan generation
Artificial Intelligence, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Semantical characterizations and complexity of equivalences in answer set programming [PDF]
, 2007 Thomas Eiter +2 more
openalex +1 more source
DATALOG with constraints - an answer-set programming system
, 2000 Deborah East, Mirosław Truszczyński
openalex +2 more sources
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming [PDF]
, 2007 Phan Huy Tu, Tran Cao Son, Chitta Baral
openalex +1 more source