5198 search results - page 347 / 1040 » A Logic of Agent Programs |
198
click to vote
AAAI
1996
15 years 8 months ago
1996
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...
178
click to vote
DLOG
2010
15 years 4 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
210
click to vote
AAAI
2012
13 years 9 months ago
2012
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...
174
click to vote
IJCAI
2001
15 years 8 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
193
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...