Computational Logic (TOCL)


Search Issue
enter search term and/or author name


ACM Transactions on Computational Logic (TOCL), Volume 1 Issue 2, Oct. 2000

First-order conditional logic for default reasoning revisited
Nir Friedman, Joseph Y. Halpern, Daphne Koller
Pages: 175-207
DOI: 10.1145/359496.359500
Conditional logics play an important role in recent attempts to formulate theories of default reasoning. This paper investigates first-order conditional logic. We show that, as for first-order probabilistic logic, it is...

Probabilistic agent programs
Jürgen Dix, Mirco Nanni, V. S. Subrahmanian
Pages: 208-246
DOI: 10.1145/359496.359508
Agents are small programs that autonomously take actions based on changes in their environment or “state”. Over the last few years, there has been an increasing number of efforts to build agents that can interact and/or collaborate...

Knowledge in multiagent systems: initial configurations and broadcast
Alessio R. Lomuscio, Ron van der Meyden, Mark Ryan
Pages: 247-284
DOI: 10.1145/359496.359527
The semantic framework for the modal logic of knowledge due to Halpern and Moses provides a way to ascribe knowlegde to agents in distributed and multiagent systems. In this paper we study two special cases of this framework: full...

Search and strategies in OPL
Pascal Van Hentenryck, Laurent Perron, Jean-François Puget
Pages: 285-320
DOI: 10.1145/359496.359529
OPL is a modeling language for mathematical programming and combinatorial optimization. It is the first language to combine high-level algebraic and set notations from mathematical modeling languages with a rich constraint language and the...