506 search results - page 8 / 102 » Constructor-based observational logic |
108
click to vote
CORR
1999
Springer
15 years 3 days ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
122
click to vote
AMAI
1999
Springer
15 years 4 days ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
94
Voted
AAAI
2006
15 years 1 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
105
Voted
ICFP
2008
ACM
16 years 12 days ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...