Journées Européennes sur la Logique et l'Intelligence Artificielle

Conference year 1990

c-jelia-90-1

Nicholas Asher and Michael Morreau:
Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning.
Pages 1-30.

c-jelia-90-31

J. Michael Dunn:
Gaggle Theory: An Abstraction of Galois Connections and Residuation, With Applications to Negation, Implication, and Various Logical Operators.
Pages 31-51.

c-jelia-90-52

Peter Gärdenfors:
Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract).
Pages 52-54.

c-jelia-90-55

Jeroen Groenendijk and Martin Stokhof:
Two Theories of Dynamic Semantics.
Pages 55-64.

c-jelia-90-65

Tore Langholm:
What is a Horn Clause in Partial Logic?
Pages 65-77.

c-jelia-90-78

Fernando C.N. Pereira:
Semantic Interpretation as Higher-Order Deduction.
Pages 78-96.

c-jelia-90-97

Vaughan Pratt:
Action Logic and Pure Induction.
Pages 97-120.

c-jelia-90-121

Roland N. Bol:
Loop Checking and Negation.
Pages 121-138.

c-jelia-90-139

Wojciech Buszkowski:
On Generative Capacity of the Lambek Calculus.
Pages 139-152.

c-jelia-90-153

Ricardo Caferra and Nicolas Zabel:
Extending Resolution for Model Construction.
Pages 153-169.

c-jelia-90-170

Nick Davies:
A First Order Logic of Truth, Knowledge and Belief.
Pages 170-179.

c-jelia-90-180

Jean-Paul Delahaye and V. Thibau:
The Optimal Model of a Program with Negation.
Pages 180-195.

c-jelia-90-196

Patrick Doherty:
NM3 - A Three-Valued Cumulative Non-Monotonic Formalism.
Pages 196-211.

c-jelia-90-212

Marta Frañová:
Constructive Matching A Methodology for Inductive Theorem Proving.
Pages 212-226.

c-jelia-90-227

Michael Freund and Daniel Lehmann:
Deductive Inference Operations (Extended Abstract).
Pages 227-233.

c-jelia-90-234

Alan M. Frisch and Richard B. Scherl:
A Constraint Logic Approach to Modal Dedection.
Pages 234-250.

c-jelia-90-251

Claire Gardent:
Dynamic Semantics and VP-Ellipsis.
Pages 251-266.

c-jelia-90-267

Wiebe van der Hoek:
Systems for Knowledge and Beliefs.
Pages 267-281.

c-jelia-90-282

Zhisheng Huang and Karen Kwast:
Awareness, Negation and Logical Omniscience.
Pages 282-300.

c-jelia-90-301

Jan Jaspars:
Theoretical Circumscription in Partial Modal Logic.
Pages 301-316.

c-jelia-90-317

E. Laenens and D. Vermeir:
A Logical Basis for Object Oriented Programming.
Pages 317-332.

c-jelia-90-333

Gerhard Lakemeyer:
A Computationally Attractive First-Order Logic of Belief.
Pages 333-347.

c-jelia-90-348

Hans Leiß:
Polymorphic Constructs in Natural and Programming Languages.
Pages 348-365.

c-jelia-90-366

Zdravko Markov and Christo Dichev:
The Net-Clause Language - A Tool for Data-Driven Inference.
Pages 366-385.

c-jelia-90-386

Philippe Mathieu and Jean-Paul Delahaye:
The Logical Compilation of Knowledge Bases.
Pages 386-398.

c-jelia-90-399

J.-J.Ch. Meyer and Wiebe van der Hoek:
Non-Monotonic Reasoning by Monotonic Means.
Pages 399-411.

c-jelia-90-412

Reinhard Muskens:
Anaphora and the Logic of Change.
Pages 412-427.

c-jelia-90-428

Ilkka Niemelä:
Towards Automatic Autoepistemic Reasoning.
Pages 428-443.

c-jelia-90-444

Uwe Petermann:
Towards a Connection Procedure with Built in Theories.
Pages 444-453.

c-jelia-90-454

Amir Rahat, Nissim Francez, and Oded Shmueli:
On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs.
Pages 454-471.

c-jelia-90-472

Munindar P. Singh and Nicholas Asher:
Towards a Formal Theory of Intentions.
Pages 472-486.

c-jelia-90-487

Z. Stachniak:
Note on Effective Constructibility of Resolution Proof Systems.
Pages 487-498.

c-jelia-90-499

Frans Voorbraak:
The Logic of Objective Knowledge and Rational Belief.
Pages 499-515.

c-jelia-90-516

Gerard Vreeswijk:
A Complete Logic for Autoepistemic Membership.
Pages 516-525.

c-jelia-90-526

Emil Weydert:
Doxastic Preference Logic.
Pages 526-543.

c-jelia-90-544

Cees Witteveen:
Partial Semantics for Truth Maintenance.
Pages 544-561.

Conference year 1998

c-jelia-98-1

Marc Denecker:
The Well-Founded Semantics Is the Principle of Inductive Definition.
Pages 1-16.

c-jelia-98-17

Pierangelo Dell'Acqua, Fariba Sadri, and Francesca Toni:
Combining Introspection and Communication with Rationality and Reactivity in Agents.
Pages 17-32.

c-jelia-98-33

Wenjin Lu and Ulrich Furbach:
Disjunctive Logic Program = Horn Program + Control Program.
Pages 33-46.

c-jelia-98-47

Mauricio Osorio:
Semantics of Partial-Order Programs.
Pages 47-61.

c-jelia-98-62

Wiebe van der Hoek, Jan Jaspars, and Elias Thijsse:
Persistence and Minimality in Epistemic Logic.
Pages 62-76.

c-jelia-98-77

Leendert W. N. van der Torre and Yao-Hua Tan:
Prohairetic Deontic Logic (PDL).
Pages 77-91.

c-jelia-98-92

Leendert W. N. van der Torre:
Phased Labeled Logics of Conditional Goals.
Pages 92-106.

c-jelia-98-107

Maria Paola Bonacina:
Analysis of Distributed-Search Contraction-Based Strategies.
Pages 107-121.

c-jelia-98-122

Francois Bry and Sunna Torge:
A Deduction Method Complete for Refutation and Finite Satisfiability.
Pages 122-138.

c-jelia-98-139

Dirk Fuchs:
Requirement-Based Cooperative Theorem Proving.
Pages 139-153.

c-jelia-98-154

Sonia M. Leach, James J. Lu, Neil V. Murray, and Erik Rosenthal:
U-Resolution: An Inference Rule for Regular Multiple-Valued Logics.
Pages 154-168.

c-jelia-98-169

Heiko Mantel and Christoph Kreitz:
A Matrix Characterization for MELL.
Pages 169-183.

c-jelia-98-184

Christof Monz and Maarten de Rijke:
A Resolution Calculus for Dynamic Semantics.
Pages 184-198.

c-jelia-98-199

Reinhard Pichler:
Algorithms on Atomic Representations of Herbrand Models.
Pages 199-215.

c-jelia-98-216

Tomi Janhunen:
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription.
Pages 216-232.

c-jelia-98-233

Thomas Linke and Torsten Schaub:
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.
Pages 233-247.

c-jelia-98-248

Michael Thielscher:
Towards State Update Axioms: Reifying Successor State Axioms.
Pages 248-263.

c-jelia-98-264

Jeremy E. Dawson and Rajeev Goré:
A Mechanised Proof System for Relation Algebra Using Display Logic.
Pages 264-278.

c-jelia-98-279

Stéphane Demri and Beata Konikowska:
Relative Similarity Logics are Decidable: Reduction to F sup(O,2) with Equality.
Pages 279-293.

c-jelia-98-294

Laura Giordano, Valentina Gliozzi, and Nicola Olivetti:
A Conditional Logic for Belief Revision.
Pages 294-308.

c-jelia-98-309

Inman P. de Guzmán, Manuel Ojeda-Aciego, and Augustín Valverde:
Implicates and Reduction Techniques for Temporal Logics.
Pages 309-323.

c-jelia-98-324

Frédéric Koriche:
A Logic for Anytime Deduction and Anytime Compilation.
Pages 324-341.

c-jelia-98-342

Manfred Kerber:
On Knowledgel, Strings, and Paradoxes.
Pages 342-354.

c-jelia-98-355

Marco Cadoli, Luigi Palopoli, and Francesco Scarcello:
Propositional Lower Bounds: Generalization and Algorithms.
Pages 355-367.

c-jelia-98-368

Jianguo Lu, Masateru Harao, and Masami Hagiya:
Higher Order Generalization.
Pages 368-381.

c-jelia-98-382

Erik Sandewall:
The Logical Characterization of Goal-Directed Behaviou in the Presence of Exogenous Events.
Pages 382-384.

c-jelia-98-385

Paul Tarau:
Towards Inference and Computation Mobility: The Jinni Experiment:.
Pages 385-390.