Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Completed logic programs and their consistency
Journal of Logic Programming
Modal and meta languages: consistency and expressiveness
Meta-logics and logic programming
Syntactical treatments of propositional attitudes
Artificial Intelligence
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
A First Order Logic of Truth, Knowledge and Belief
JELIA '90 Proceedings of the European Workshop on Logics in AI
Fundamenta Informaticae
Hi-index | 0.01 |
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 ...