default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 1996: Évora, Portugal
- José Júlio Alferes
, Luís Moniz Pereira, Ewa Orlowska:
Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Lecture Notes in Computer Science 1126, Springer 1996, ISBN 3-540-61630-6
Automated Reasoning
- Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä:
Hyper Tableaux. 1-17 - Hans de Nivelle:
An Algorithm for the Retrieval of Unifiers from Discrimination Trees. 18-33 - Christophe Bourely, Gilles Défourneaux, Nicolas Peltier:
Building Proofs or Counterexamples by Analogy in a Resoluton Framework. 34-49 - Anatoli Degtyarev, Andrei Voronkov:
What You Always Wanted to Know About Rigid E-Unification. 50-69
Modal Logics
- Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo:
Labelled Proofs for Quantified Modal Logic. 70-86 - Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati:
A Uniform Tableaux Method for Nonmonotonic Modal Logics. 87-103
Applications
- Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder:
Design and Implementation of Diagnostic Strategies Using Modal Logic. 104-118 - Filipe Santos, José Carmo:
A Modal Action Logic Based Framework for Organization Specification and Analysis. 119-133
Invited Speaker
- Michael R. Genesereth:
McCarthy's Idea. 134-142
Nonmonotonic Reasoning
- José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski:
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. 143-163 - Joeri Engelfriet:
Only Persistence Makes Nonmonotonicity Monotonous. 164-175 - Konstantinos Georgatos:
Ordering-Based Representations of Rational Inference. 176-191
Default Logics
- Artur Mikitiuk:
Semi-Representability of Default Theories in Rational Default Logic. 192-207 - Viorica Ciorba:
A Query Answering Algorithm for Lukaszewicz' General Open Default Theory. 208-223 - Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski:
Infinitary Default Logic for Specification of Nonmonotonic Reasoning. 224-236 - Grigoris Antoniou, Allen P. Courtney, Jörg Ernst, Mary-Anne Williams:
A System for Computing Constrained Default Logic Extensions. 237-250
Invited Speaker
- Gert Smolka:
The Oz Programming Model. 251
Logic Programming
- Chandrabose Aravindan:
An Abductive Framework for Negation in Disjunctive Logic Programming. 252-267 - Stefan Brass, Jürgen Dix:
Characterizing D-WFS: Confluence and Iterated GCWA. 268-283 - Vasco Pedro, Luís Monteiro:
Modules and Specifications. 284-300
Invited Speaker
- Robert A. Kowalski:
Logic Programming with Integrity Constraints. 301-302
Temporal and Spatial Logics
- Manuel Enciso, Inman P. de Guzmán, Carlos Rossi:
Temporal Reasoning over Linear Discrete Time. 303-319 - Regimantas Pliuskevicius:
Similarity Saturation for First Order Linear Temporal Logic with UNLESS. 320-336 - Brandon Bennett:
Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions. 337-353
Belief Revision and Paraconsistency
- Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino:
Informational Logic for Automated Reasoning. 354-372 - Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin:
Extensions for Open Default Theories via the Domain Closure Assumption. 373-387 - Cees Witteveen, Wiebe van der Hoek:
Revising and Updating Using a Back-Up Semantics. 388-403 - Philippe Besnard, Torsten Schaub:
A Simple Signed System for Paraconsistent Reasoning. 404-416
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.
last updated on 2026-03-28 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
