Sciweavers

1540 search results - page 201 / 308
» Deceptive agents and language
Sort
View
AAAI
2010
13 years 9 months ago
A Temporal Proof System for General Game Playing
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
Michael Thielscher, Sebastian Voigt
AAAI
2004
13 years 9 months ago
Adding Time and Intervals to Procedural and Hierarchical Control Specifications
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
Tran Cao Son, Chitta Baral, Le-Chi Tuan
AAAI
2004
13 years 9 months ago
Extending CP-Nets with Stronger Conditional Preference Statements
A logic of conditional preferences is defined, with a language which allows the compact representation of certain kinds of conditional preference statements, a semantics and a pro...
Nic Wilson
EUMAS
2006
13 years 9 months ago
Norm-Oriented Programming of Electronic Institutions: A Rule-based Approach
Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, pro...
Andrés García-Camino, Juan A. Rodr&i...
AAAI
1993
13 years 9 months ago
EL: A Formal, Yet Natural, Comprehensive Knowledge Representation
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
Chung Hee Hwang, Lenhart K. Schubert