5198 search results - page 756 / 1040 » A Logic of Agent Programs |
180
click to vote
ML
1998
ACM
15 years 6 months ago
1998
ACM
We use simulated soccer to study multiagent learning. Each team's players (agents) share action set and policy, but may behave di erently due to position-dependent inputs. All...
173
click to vote
ESWS
2007
Springer
16 years 27 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
220
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
154
click to vote
IGPL
2008
15 years 6 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
180
click to vote
AAAI
1996
15 years 8 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...