453 search results - page 55 / 91 » FLUX: A Logic Programming Method for Reasoning Agents |
157
click to vote
AAAI
1993
15 years 7 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
189
click to vote
AAMAS
1999
Springer
15 years 5 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
167
click to vote
AAAI
1994
15 years 7 months ago
1994
or untagged treebanks. ' When trained on an untagged This paper presents a method for constructing deterministic Prolog parsers from corpora of parsed sentences. Our approach ...
177
click to vote
DLOG
2006
15 years 7 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
169
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...