Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 53

> 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 53, Numbers 1-4, August 2008

Logic in AI: A Special Issue Dedicated to Victor W. Marek on the Occasion of His 65th birthday

- view
  authority control:
- export record
  dblp key:
  - journals/amai/KaminskiT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/KaminskiT08
Michael Kaminski, Miroslaw Truszczynski:
Preface. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Remmel08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Remmel08
Jeffrey B. Remmel:
My work with Victor Marek: a mathematician looks at answer set programming. 5-16
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Truszczynski08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Truszczynski08
Miroslaw Truszczynski:
My six encounters with Victor Marek - a personal account. 17-20
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Bochman08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Bochman08
Alexander Bochman:
Default logic generalized and simplified. 21-49
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BullingJD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BullingJD08
Nils Bulling, Wojciech Jamroga, Jürgen Dix:
Reasoning about temporal properties of rational play. 51-114
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EiterIKS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EiterIKS08
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer:
Exploiting conjunctive queries in description logic programs. 115-152
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Fitting08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Fitting08
Melvin Fitting:
Justification logics, logics of knowledge, and conservativity. 153-167
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GiunchigliaLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GiunchigliaLM08
Enrico Giunchiglia, Nicola Leone, Marco Maratea:
On the relation among answer set solvers. 169-204
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Kaminski08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Kaminski08
Michael Kaminski:
A non-preferential semantics of non-monotonic modal logic. 205-223
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Makowsky08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Makowsky08
Johann A. Makowsky:
From Hilbert's program to a logic tool box. 225-250
- view
  authority control:
- export record
  dblp key:
  - journals/amai/MellarkodGZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MellarkodGZ08
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang:
Integrating answer set programming and constraint logic programming. 251-287
- view
  authority control:
- export record
  dblp key:
  - journals/amai/NerodeR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/NerodeR08
Anil Nerode, Jeffrey B. Remmel:
Consistency properties and set based logic programming. 289-311
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Niemela08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Niemela08
Ilkka Niemelä:
Stable models and difference logic. 313-329
- view
  authority control:
- export record
  dblp key:
  - journals/amai/TruszczynskiW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/TruszczynskiW08
Miroslaw Truszczynski, Stefan Woltran:
Hyperequivalence of logic programs with respect to supported models. 331-365

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.