| Publication | Date of Publication | Type |
|---|
Witnesses for Answer Sets of Logic Programs
ACM Transactions on Computational Logic | 2023-04-05 | Paper |
Characterizing causal action theories and their implementations in answer set programming
Artificial Intelligence | 2017-09-29 | Paper |
A model for phase transition of random answer-set programs
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Recycling computed answers in rewrite systems for abduction
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
scientific article; zbMATH DE number 6606377 (Why is no real title available?)
| 2016-07-26 | Paper |
A formalization of programs in first-order logic with a discrete linear order
Artificial Intelligence | 2016-04-22 | Paper |
Computing loops with at most one external support rule
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Position systems in dynamic domains
Journal of Philosophical Logic | 2015-04-23 | Paper |
Turner's logic of universal causation, propositional logic, and logic programming
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Computing loops with at most one external support rule for disjunctive logic programs
Logic Programming | 2012-11-13 | Paper |
From Turner's logic of universal causation to the logic of GK
Correct Reasoning | 2012-07-23 | Paper |
Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs
Artificial Intelligence | 2012-05-23 | Paper |
Ordered completion for first-order logic programs on finite structures
Artificial Intelligence | 2012-05-23 | Paper |
Weight constraint programs with evaluable functions
Annals of Mathematics and Artificial Intelligence | 2011-11-08 | Paper |
Two equivalence results for two-person strict games
Games and Economic Behavior | 2011-03-28 | Paper |
Designing competitions between teams of individuals
Artificial Intelligence | 2010-09-02 | Paper |
Computer-aided proofs of Arrow's and other impossibility theorems
Artificial Intelligence | 2009-09-14 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Discovering classes of strongly equivalent logic programs
| 2009-04-28 | Paper |
Loop formulas for circumscription
Artificial Intelligence | 2007-10-23 | Paper |
A characterization of answer sets for logic programs
Science in China. Series F | 2007-08-31 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence | 2006-02-07 | Paper |
How to progress a database
Artificial Intelligence | 2003-08-28 | Paper |
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
Artificial Intelligence | 2002-09-09 | Paper |
scientific article; zbMATH DE number 1754691 (Why is no real title available?)
| 2002-07-02 | Paper |
scientific article; zbMATH DE number 1696794 (Why is no real title available?)
| 2002-01-28 | Paper |
On strongest necessary and weakest sufficient conditions
Artificial Intelligence | 2001-08-20 | Paper |
Ability and knowing how in the situation calculus
Studia Logica | 2001-02-11 | Paper |
scientific article; zbMATH DE number 1390360 (Why is no real title available?)
| 2000-09-26 | Paper |
scientific article; zbMATH DE number 1453060 (Why is no real title available?)
| 2000-05-25 | Paper |
What robots can do: robot programs and effective achievability
Artificial Intelligence | 1999-01-12 | Paper |
Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
Artificial Intelligence | 1999-01-12 | Paper |
An ordering on subgoals for planning
Annals of Mathematics and Artificial Intelligence | 1998-06-11 | Paper |
Rules as actions: A situation calculus semantics for logic programs
The Journal of Logic Programming | 1998-02-04 | Paper |
Provably correct theories of action
Journal of the ACM | 1998-02-02 | Paper |
GOLOG: A logic programming language for dynamic domains
The Journal of Logic Programming | 1997-10-23 | Paper |
A logic of knowledge and justified assumption
Artificial Intelligence | 1993-01-17 | Paper |
scientific article; zbMATH DE number 4166925 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4156408 (Why is no real title available?)
| 1988-01-01 | Paper |
