-
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
Artificial intelligence , 2002
Enthalten in: Artificial intelligence
OLC Architektur
-
On strongest necessary and weakest sufficient conditions
Artificial intelligence , 2001
Enthalten in: Artificial intelligence
OLC Architektur
-
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
Artificial intelligence , 2011
Enthalten in: Artificial intelligence
OLC Architektur
-
A formalization of programs in first-order logic with a discrete linear order
Artificial intelligence , 2016
Enthalten in: Artificial intelligence
OLC Architektur
-
Characterizing causal action theories and their implementations in answer set programming
Artificial intelligence , 2017
Enthalten in: Artificial intelligence
OLC Architektur
-
What robots can do: robot programs and effective achievability
Artificial intelligence , 1998
Enthalten in: Artificial intelligence
OLC Architektur
-
Loop formulas for circumscription
Artificial intelligence , 2006
Enthalten in: Artificial intelligence
OLC Architektur
-
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial intelligence , 2004
Enthalten in: Artificial intelligence
OLC Architektur
-
Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
Artificial intelligence , 1998
Enthalten in: Artificial intelligence
OLC Architektur
-
Computer-aided proofs of Arrow's and other impossibility theorems
Artificial intelligence , 2009
Enthalten in: Artificial intelligence
OLC Architektur
-
Loop-separable programs and their first-order definability
Artificial intelligence , 2011
Enthalten in: Artificial intelligence
OLC Architektur
-
From answer set logic programming to circumscription via logic of GK
Artificial intelligence , 2011
Enthalten in: Artificial intelligence
OLC Architektur
-
Computer-aided proofs of Arrow's and other impossibility theorems
Artificial intelligence , 2009
Enthalten in: Artificial intelligence
OLC Architektur
-
Designing competitions between teams of individuals
Artificial intelligence , 2010
Enthalten in: Artificial intelligence
OLC Architektur