1917 search results - page 106 / 384 » Experimenting with Nonmonotonic Reasoning |
108
click to vote
AI
2008
Springer
15 years 27 days ago
2008
Springer
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
147
Voted
AMAI
1999
Springer
15 years 13 days ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
135
Voted
LPAR
2012
Springer
13 years 8 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
92
Voted
AAAI
1990
15 years 1 months ago
1990
We describe a system called Tileworld, which consists of a simulated robot agent and a simulated environment which is both dynamic and unpredictable. Both the agent and the enviro...
116
Voted
DEXA
2010
Springer
15 years 1 months ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...