Conferences in DBLP
Les Gasser , Ingemar A. E. Hulthage , Brian Leverich , Jon Lieb , Ann Majchrzak Organizations as Complex, Dynamic Design Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Fisher , Michael Wooldridge Specifying and Verifying Distributed Intelligence Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thilo C. Horstmann A Logical Approach for Distributed Truth Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Irene Pimenta Rodrigues , José Gabriel Lopes Building Text Temporal Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Damas , Nelma Moreira , Sabine Broda Resolution of Constraints in Algebras of Rational Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel David , António Porto Inheritance in a Hierarchy of Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Reichwein , José Luiz Fiadeiro Semantics of Interworking Knowledge Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Schild Combining Terminological Logics with Tense Logic. [Citation Graph (1, 0)][DBLP ] Conf ] Margarida Mamede , Luís Monteiro Towards Complete Answers in Concept Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Grigoris Antoniou Version Space Algorithms on Hierarchies with Exceptions. [Citation Graph (1, 0)][DBLP ] Conf ] Armando B. Matos Regular Languages and a Class of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Armando B. Matos Some Results on the Complexity of SLD-Derivations. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando M. A. Silva An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , Carlos Viegas Damásio , José Júlio Alferes Diagnosis and Debugging as Contradiction Removal in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Kalinski Well-Founded Approximations of Autoepistemic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Grigoris Antoniou , Elmar Langetepe A Process Model for Default Logic and Its Realization in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Maria R. Cravo , João P. Martins A Unified Approach to Default Reasoning and Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Régis Curien Second Order E-Matching as a Tool for Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Alois Haselböck , Markus Stumptner Attribute-Specific Interchangeability in Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Berlandier The Use and Interpretation of Meta Level Constaints. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Menezes , Pedro Barahona Preliminary Formalization of an Incremental Hierarchical Constraint Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel Filgueiras , Ana Paula Tomás Fast Methods for Solving Linear Diophantine Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Fox , Derek Long A Note on Chapman`s Modal Truth Criterion. [Citation Graph (0, 0)][DBLP ] Conf ] José Luís Ferreira , Ernesto Jorge Costa Learning Operators While Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Luck Evaluating Evidence for Motivated Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Auriol How to Learn in an Incomplete Knowledge Environment: Structured Objects for a Modal Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Giesl , Ingrid Neumann The Semantics of Rational Contractions. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Demolombe A Uniform Framework for Deductive Database Derivation Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Joaquim Nunes Aparício Assumption Set Semantics (The Procedures). [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Bussmann , Jürgen Müller Bargaining Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Trombettoni A Constraint Maintenance Algorithm Based on Value Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Geraldo Lino de Campos , Dimas Trevisan Chbane A Text-to-Phoneme Translator for the Portuguese Language. [Citation Graph (0, 0)][DBLP ] Conf ] Edwin Diday , Paula Brito , E. Mfoumoune Learning Probabilistic Models by Conceptual Pyramidal Clustering. [Citation Graph (0, 0)][DBLP ] Conf ] 