173 search results - page 14 / 35 » Rationality and its Roles in Reasoning (Extended Abstract) |
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
AI
2007
Springer
14 years 9 months ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
EUSFLAT
2009
14 years 7 months ago
2009
Abstract: We consider application of Zadeh's impossibility principle and extended logic FLe to approximate scientific explanation from the standpoint of the philosophy of scie...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
114
click to vote
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...