The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Math. Artif. Intell.
1999, volume: 25, number: 3-4

  1. Jürgen Dix, Jorge Lobo
    Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:161-164 [Journal]
  2. Michael Gelfond, Alfredo Gabaldon
    Building a Knowledge Base: An Example. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:165-199 [Journal]
  3. Terrance Swift
    Tabling for Non-Monotonic Programming. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:201-240 [Journal]
  4. Ilkka Niemelä
    Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:241-273 [Journal]
  5. Chris Giannella, John S. Schlipf
    An Empirical Study of the 4-valued Kripke-Kleene and 4-valued Well-Founded Semantics in Random Propositional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:275-309 [Journal]
  6. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Semantics and Expressiveness of Disjunctive Ordered Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:311-337 [Journal]
  7. Katsumi Inoue, Chiaki Sakama
    Computing Extended Abduction Through Transaction Programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:339-367 [Journal]
  8. Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
    Nested Expressions in Logic Programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:369-389 [Journal]
  9. Robert A. Kowalski, Fariba Sadri
    From Logic Programming Towards Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:391-419 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002