3717 search results - page 181 / 744 » Representing Multiple Theories |
128
click to vote
AAAI
1998
15 years 5 months ago
1998
In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...
137
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
125
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This working notes paper describes our first participation in the ImageCLEF2010 Wikipedia Retrieval Task[1]. In this task, we mainly test our Quantum Theory inspired retr...
119
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
It is frequently suggested that predictions made by game theory could be improved by considering computational restrictions when modeling agents. Under the supposition that player...
116
click to vote
AI
2006
Springer
15 years 4 months ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...