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 51

> 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 51, Number 1, September 2007

- view
  authority control:
- export record
  dblp key:
  - journals/amai/MoralesNS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MoralesNS07
Antonio Morales Nicolás, Isabel Navarrete, Guido Sciavicco:
A new modal logic for reasoning about space: spatial propositional neighborhood logic. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Porschen07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Porschen07
Stefan Porschen:
On variable-weighted exact satisfiability problems. 27-54
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Subramani07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Subramani07
K. Subramani:
On a decision procedure for quantified linear programs. 55-77

Volume 51, Number 2-4, December 2007

- view
  authority control:
- export record
  dblp key:
  - journals/amai/Subrahmanian07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Subrahmanian07
V. S. Subrahmanian:
Preface. 79-80
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BehrensD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BehrensD07
Tristan M. Behrens, Jürgen Dix:
Model checking multi-agent systems with logic based Petri nets. 81-121
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EiterFFW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EiterFFW07
Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran:
Complexity results for answer set programming with bounded predicate arities and implications. 123-165
- view
  authority control:
- export record
  dblp key:
  - journals/amai/FurfaroGM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/FurfaroGM07
Filippo Furfaro, Sergio Greco, Cristian Molinaro:
A three-valued semantics for querying and repairing inconsistent databases. 167-193
- view
  authority control:
- export record
  dblp key:
  - journals/amai/PerriSCL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/PerriSCL07
Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone:
Enhancing DLV instantiator by backjumping techniques. 195-228
- view
  authority control:
- export record
  dblp key:
  - journals/amai/FaberLPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/FaberLPR07
Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca:
On look-ahead heuristics in disjunctive logic programming. 229-266
- view
  authority control:
- export record
  dblp key:
  - journals/amai/TranB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/TranB07
Tran Hoai Nam, Chitta Baral:
Reasoning about non-immediate triggers in biological networks. 267-293
- view
  authority control:
- export record
  dblp key:
  - journals/amai/KhullerMNSSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/KhullerMNSSS07
Samir Khuller, Maria Vanina Martinez, Dana S. Nau, Amy Sliva, Gerardo I. Simari, V. S. Subrahmanian:
Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10^{30, 000} worlds. 295-331

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.