Sciweavers

256 search results - page 26 / 52
» An Implementation for Abductive Logic Agents
Sort
View
AAAI
2007
13 years 10 months ago
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
ATAL
1999
Springer
13 years 12 months ago
Reactivity in a Logic-Based Robot Programming Framework
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
Yves Lespérance, Kenneth Tam, Michael R. M....
NGITS
1997
Springer
13 years 11 months ago
Maintaining Information Resources
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
Sofus A. Macskassy, Leon A. Shklar
ATAL
2008
Springer
13 years 9 months ago
Verifying Social Expectations by Model Checking Truncated Paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
Stephen Cranefield, Michael Winikoff
DALT
2007
Springer
13 years 9 months ago
Structured Argumentation in a Mediator for Online Dispute Resolution
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
Ioan Alfred Letia, Adrian Groza