Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 42
Volume 42, Number 1-3, September 2004
- Jürgen Dix, João Alexandre Leite
, Ken Satoh:
Introduction. 1-3 - Renate A. Schmidt, Dmitry Tishkovsky:
Multi-Agent Dynamic Logics with Informational Test. 5-36 - Jérôme Lang:
Logical Preference Representation and Combinatorial Vote. 37-71 - Oliver Schulte, James P. Delgrande:
Representing von Neumann-Morgenstern Games in the Situation Calculus. 73-101 - Marina De Vos, Dirk Vermeir:
Extending Answer Sets for Logic Programming Agents. 103-139 - Jan Odelstad, Magnus Boman:
Algebras for Agent Norm-Regulation. 141-166 - James Harland, Michael Winikoff:
Agents via Mixed-Mode Computation in Linear Logic. 167-196 - Rafael H. Bordini, Álvaro F. Moreira:
Proving BDI Properties of Agent-Oriented Programming Languages. 197-226 - Pinar Yolum, Munindar P. Singh:
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. 227-253 - Katsumi Inoue, Koji Iwanuma:
Speculative Computation Through Consequence-Finding in Multi-Agent Environments. 255-291 - Paolo Torroni:
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions. 293-305
Volume 42, Number 4, December 2004
- Dino Pedreschi, Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs. 313-343 - Carlos Bousoño-Calzón, Sancho Salcedo-Sanz:
A Discrete-Time Quantized-State Hopfield Neural Network. 345-367 - Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán:
A New Algebraic Tool for Automatic Theorem Provers. 369-398 - Sylvie Coste-Marquis, Pierre Marquis:
On Stratified Belief Base Compilation. 399-442 - Jose Maria Turull Torres:
Erratum for: A Study of Homogeneity in Relational Databases [Annals of Mathematics and Artificial Intelligence 33(2) (2001) 379-414]. 443-444
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-06 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
