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 18

> 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 18, Number 1, 1996

Boundaries and Tractability for AI

- view
  authority control:
- export record
  dblp key:
  - journals/amai/Ben-EliyahuD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Ben-EliyahuD96
Rachel Ben-Eliyahu, Rina Dechter:
On Computing Minimal Models. 3-27
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CadoliS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CadoliS96
Marco Cadoli, Marco Schaerf:
On the complexity of Entailment in Propositional Multivalued Logics. 29-50
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DelgrandeG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DelgrandeG96
James P. Delgrande, Arvind Gupta:
The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae. 51-67
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ErolHN96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ErolHN96
Kutluhan Erol, James A. Hendler, Dana S. Nau:
Complexity Results for HTN Planning. 69-93

Volume 18, Numbers 2-4, 1996

Deductive Systems

- view
  authority control:
- export record
  dblp key:
  - journals/amai/BurckertHL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BurckertHL96
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux:
On Skolemization in Constrained Logics. 95-131
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Hollunder96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Hollunder96
Bernhard Hollunder:
Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems. 133-157
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Stark96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Stark96
Robert F. Stärk:
Multi-Valued Autoepistemic Logic. 159-174
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Baader96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Baader96
Franz Baader:
Using Automata Theory for Characterizing the Semantics of Terminological Cycles. 175-219
- view
  authority control:
- export record
  dblp key:
  - journals/amai/KerberP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/KerberP96
Manfred Kerber, Axel Präcklein:
Using Tactics to Reformulate Formulae for Resolution Theorem Proving. 221-241
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BuroB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BuroB96
Michael Buro, Hans Kleine Büning:
On Resolution with Short Clauses. 243-260
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Weidenbach96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Weidenbach96
Christoph Weidenbach:
Unification in Sort Theories and Its Applications. 261-293

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.