1917 search results - page 94 / 384 » Experimenting with Nonmonotonic Reasoning |
ENTCS
2007
15 years 21 days ago
2007
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
103
click to vote
AI
2000
Springer
15 years 17 days ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
138
Voted
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
133
Voted
ARGMAS
2007
Springer
15 years 4 months ago
2007
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...
112
Voted
AI
2007
Springer
15 years 26 days ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...