1941 search results - page 284 / 389 » Reasoning about Computations Using Two-Levels of Logic |
131
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
From a conceptual point of view, belief revision and learning are quite similar. Both methods change the belief state of an intelligent agent by processing incoming information. Ho...
138
Voted
AAAI
2008
15 years 5 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
143
click to vote
AI
2000
Springer
15 years 3 months ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....
135
Voted
CW
2005
IEEE
15 years 9 months ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...
148
Voted
POPL
2010
ACM
16 years 29 days ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...