default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 42

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 42, Number 1-3, September 2004

- view
  authority control:
- export record
  dblp key:
  - journals/amai/DixLS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DixLS04
Jürgen Dix, João Alexandre Leite, Ken Satoh:
Introduction. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SchmidtT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SchmidtT04
Renate A. Schmidt, Dmitry Tishkovsky:
Multi-Agent Dynamic Logics with Informational Test. 5-36
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Lang04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Lang04
Jérôme Lang:
Logical Preference Representation and Combinatorial Vote. 37-71
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SchulteD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SchulteD04
Oliver Schulte, James P. Delgrande:
Representing von Neumann-Morgenstern Games in the Situation Calculus. 73-101
- view
  authority control:
- export record
  dblp key:
  - journals/amai/VosV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/VosV04
Marina De Vos, Dirk Vermeir:
Extending Answer Sets for Logic Programming Agents. 103-139
- view
  authority control:
- export record
  dblp key:
  - journals/amai/OdelstadB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/OdelstadB04
Jan Odelstad, Magnus Boman:
Algebras for Agent Norm-Regulation. 141-166
- view
  authority control:
- export record
  dblp key:
  - journals/amai/HarlandW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HarlandW04
James Harland, Michael Winikoff:
Agents via Mixed-Mode Computation in Linear Logic. 167-196
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BordiniM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BordiniM04
Rafael H. Bordini, Álvaro F. Moreira:
Proving BDI Properties of Agent-Oriented Programming Languages. 197-226
- view
  authority control:
- export record
  dblp key:
  - journals/amai/YolumS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/YolumS04
Pinar Yolum, Munindar P. Singh:
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. 227-253
- view
  authority control:
- export record
  dblp key:
  - journals/amai/InoueI04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/InoueI04
Katsumi Inoue, Koji Iwanuma:
Speculative Computation Through Consequence-Finding in Multi-Agent Environments. 255-291
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Torroni04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Torroni04
Paolo Torroni:
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions. 293-305

Volume 42, Number 4, December 2004

- view
  authority control:
- export record
  dblp key:
  - journals/amai/PedreschiR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/PedreschiR04
Dino Pedreschi, Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs. 313-343
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Bousono-CalzonS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Bousono-CalzonS04
Carlos Bousoño-Calzón, Sancho Salcedo-Sanz:
A Discrete-Time Quantized-State Hopfield Neural Network. 345-367
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CorderoGMG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CorderoGMG04
Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán:
A New Algebraic Tool for Automatic Theorem Provers. 369-398
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Coste-MarquisM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Coste-MarquisM04
Sylvie Coste-Marquis, Pierre Marquis:
On Stratified Belief Base Compilation. 399-442
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/Torres04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Torres04
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

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.