Logical filtering

Authors:
Eyal Amir;Stuart Russell
Affiliations:
Computer Science Division, University of California at Berkeley, Berkeley, CA;Computer Science Division, University of California at Berkeley, Berkeley, CA
Venue:
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Year:
2003

Citing 8
Cited 15

Updating logical databases

Updating logical databases
The complexity of finite functions

Handbook of theoretical computer science (vol. A)
How to progress a database

Artificial Intelligence
Formalizing sensing actions—a transition function based approach

Artificial Intelligence
Planning as Satisfiability in Nondeterministic Domains

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Conformant planning via symbolic model checking

Journal of Artificial Intelligence Research
Efficient consequence finding

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A model-based approach to reactive self-configuring systems

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2

Reasoning about partially observed actions

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Stochastic filtering in a probabilistic action model

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Dominance and equivalence for sensor-based agents

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Learning partially observable deterministic action models

Journal of Artificial Intelligence Research
Progression of situation calculus action theories with incomplete information

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Logical circuit filtering

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
First-order logical filtering

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Learning partially observable deterministic action models

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reasoning with knowledge, action and time in dynamic and uncertain domains

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Combining planning and motion planning

ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Putting abox updates into action

FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
First-order logical filtering

Artificial Intelligence
Propositional Update Operators Based on Formula/Literal Dependence

ACM Transactions on Computational Logic (TOCL)
Causal belief decomposition for planning with sensing: completeness results and practical approximation

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is closely tied to how accurately data values are predicted at runtime. Caching ...