default search action

combined dblp search
author search
venue search
publication search

ask others

4. NMELP 1994: Santa Margherita Ligure, Italy

> Home > Conferences and Workshops > NMELP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/1994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/1994
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski:
Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers. Lecture Notes in Computer Science 927, Springer 1995, ISBN 3-540-59467-1

Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/AlferesP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/AlferesP94
José Júlio Alferes, Luís Moniz Pereira:
An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. 3-22
- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/LifschitzT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/LifschitzT94
Vladimir Lifschitz, Hudson Turner:
From Disjunctive Programs to Abduction. 23-42
- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/Przymusinski94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/Przymusinski94
Teodor C. Przymusinski:
Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework. 43-67
- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/Witteveen94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/Witteveen94
Cees Witteveen:
Every Normal Program has a Nearly-Stable Model. 68-84
- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/YouY94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/YouY94
Jia-Huai You, Li-Yan Yuan:
Logic Programming with Assumption Denials. 85-100

Computation

- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/BarbackL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/BarbackL94
Monica D. Barback, Jorge Lobo:
A Resolution-based Procedure for Default Theories with Extensions. 101-126
- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/BrassD94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/BrassD94
Stefan Brass, Jürgen Dix:
A general Approach to Bottom-Up Computation of Disjunctive Semantics. 127-155
- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/CostantiniL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/CostantiniL94
Stefania Costantini, Gaetano Aurelio Lanzarone:
Static Semantics as Program Transformation and Well-founded Computation. 156-180
- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/DegerstedtN94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/DegerstedtN94
Lars Degerstedt, Ulf Nilsson:
Magic Computation for Wll-founded Semantics. 181-204
- view
  authority control:
- export record
  dblp key:
  - conf/nmelp/RuizM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmelp/RuizM94
Carolina Ruiz, Jack Minker:
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs. 205-229

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.