default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 9
Volume 9, Number 1, February 1999
- Dov M. Gabbay:
What's on My Mind... 3-6 - Antonio Brogi
, Simone Contiero, Franco Turini:
Programming by Combining General Logic Programs. 7-24 - Dov M. Gabbay, Rolf Nossum, Michael Thielscher:
Agents in Proactive Environments. 25-45 - Robert F. Stärk:
A Direct Proof of the Completeness of SLDNF-Resolution. 47-61 - Douglas Walton:
Applying Labelled Deductive Systems and Multi-Agent Systems to Source-Based Argumentation. 63-80 - Luca Boldrin, Alessandro Saffiotti:
A Modal Logic for Fusing Partial Belief of Multiple Reasoners. 81-103 - Zhaohui Luo:
Coercive Subtyping. 105-130
Volume 9, Number 2, April 1999
- Orna Kupferman:
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. 135-147 - Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro:
Fibring of Logics as a Categorial Construction. 149-179 - Zoran Ognjanovic, Miodrag Raskovic:
Some Probability Logics with New Types of Probability Operators. 181-195 - Maarten Marx:
Complexity of Products of Modal Logics. 197-214 - Hadassa Jakobovits, Dirk Vermeir:
Robust Semantics for Argumentation Frameworks. 215-261
Volume 9, Number 3, June 1999
- Peter F. Patel-Schneider, Marie-Christine Rousset:
Editorial: Special Issue on Description Logics. 265-266 - Ian Horrocks, Peter F. Patel-Schneider:
Optimizing Description Logic Subsumption. 267-293 - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing and Reasoning on XML Documents: A Description Logic Approach. 295-318 - Franz Baader, Ulrike Sattler:
Expressive Number Restrictions in Description Logics. 319-350 - Volker Haarslev, Carsten Lutz, Ralf Möller:
A Description Logic with Concrete Domains and a Role-forming Predicate Operator. 351-384 - Ian Horrocks, Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies. 385-410 - Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness:
Matching in Description Logics. 411-447 - Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty:
Report on the 1998 International Workshop on Description Logics (DL'98). 449-456
Volume 9, Number 4, August 1999
- Karl Schlechta:
A Topological Construction of a Non-smooth Model of Cumulativity. 457-462 - Ulrich Hensel, Bart Jacobs:
Coalgebraic Theories of Sequences in PVS. 463-500 - John W. Rosenthal, Jacob Manuel Plotkin, John Franco:
The Probability of Pure Literals. 501-513 - Antonis C. Kakas, Francesca Toni:
Computing Argumentation in Logic Programming. 515-562 - Michael J. Wooldridge, Nicholas R. Jennings:
The Cooperative Problem-solving Process. 563-592
Volume 9, Number 5, October 1999
- Yde Venema:
Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes. 601-621 - Lars Karlsson, Joakim Gustafsson:
Reasoning about Concurrent Interaction. 623-650 - Jürg Kohlas, Rolf Haenni, Serafín Moral:
Propositional Information Systems. 651-681 - Reinhard Kahle:
Frege Structures for Partial Applicative Theories. 683-700 - Marcos A. Castilho, Olivier Gasquet, Andreas Herzig:
Formalizing Action and Change in Modal Logic I: the frame problem. 701-735 - Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
Declarative PTIME Queries for Relational Databases using Quantifier Elimination. 737-758 - Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
A Theory and Implementation of Cognitive Mobile Robots. 759-785
Volume 9, Number 6, December 1999
- Fernando Tohmé, Tuomas Sandholm:
Coalition Formation Processes with Belief Revision among Bounded-rational Self-interested Agents. 793-815 - Shai Berger, Daniel Lehmann, Karl Schlechta:
Preferred History Semantics for Iterated Updates. 817-833 - Valérie Gouranton, Daniel Le Métayer:
Dynamic Slicing: a generic analysis based on a natural semantics format. 835-871 - Salem Benferhat, Didier Dubois, Henri Prade:
Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge Bases. 873-895 - Maarten Marx, Mark Reynolds:
Undecidability of Compass Logic. 897-914 - Argimiro Arratia Quesada, S. R. Chauhan, Iain A. Stewart:
Hierarchies in Classes of Program Schemes. 915-957 - Raymond Turner:
Sets, Types and Type-checking. 959-975 - Arnon Avron:
On the Expressive Power of Three-Valued and Four-Valued Languages. 977-994
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 2024-10-24 20:19 CEST 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:
