Conferences in DBLP
Domenico Cantone , Calogero G. Zarba A Decision Procedure for Monotone Functions over Lattices. [Citation Graph (0, 0)][DBLP ] Conf ] Elvira Albert , Josep Silva , Germán Vidal Time Equations for Lazy Functional (Logic) Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Gavanelli , Evelina Lamma , Paola Mello , Michela Milano , Paolo Torroni Interpreting Abduction in CLP. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Enrico Pontelli , Gianfranco Rossi Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP ] Conf ] J. Chen , Y. Zhang A knowledge Transaction Processing Language and Model for Mobile Application. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Calimeri , Stefania Galizia , Massimo Ruffolo , Pasquale Rullo Enhancing Disjunctive Logic Programming for Ontology Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Gianluigi Greco , Antonella Guzzo , Domenico Saccà A Logic Programming Approach for Planning Workflows Evolutions. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Angiulli , Rachel Ben-Eliyahu-Zohary Exploiting Default Logic to Detect Outliers. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Galizia Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva. [Citation Graph (0, 0)][DBLP ] Conf ] Elisa Bertino , Alessandra Mileo , Alessandro Provetti User Preferences VS Minimality in PPDL. [Citation Graph (0, 0)][DBLP ] Conf ] S. Bozzoli , Fausto Spoto , Agostino Dovier Approximate Protein Folding in Oz through Frequency Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Zoran Majkic Fixpoint Semantics for Query Answering in Data Integration Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Costantini , Andrea Formisano , Eugenio G. Omodeo Mappings Between Domain Models in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] G. Serban A new logic architecture for Intelligent Agents. [Citation Graph (0, 0)][DBLP ] Conf ] J. A. D Vila , M. Y. Uzcategui Agents' executable specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Buccafurri Multiagent Compromises and Joint Fixpoint Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] L. Blandi , Vincenzo Loia , Sabrina Senatore , Maria I. Sessa Similarity-based SLD Resolution and applications to Mobile Agents. [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira An Evolving Agent with EVOLP. [Citation Graph (0, 0)][DBLP ] Conf ] N. Graca , Paulo Quaresma Using dynamic logic programming to model legal reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Pfeifer Solving Hard Disjunctive Logic Programs Faster (Sometimes). [Citation Graph (0, 0)][DBLP ] Conf ] Simona Perri , Francesco Scarcello Advanced Backjumping Techniques for Rule Instantiations. [Citation Graph (0, 0)][DBLP ] Conf ] Chiara Cumbo , Wolfgang Faber , Gianluigi Greco Improving Query Optimization for Disjunctive Datalog. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Ricca The DLV Java Wrapper. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Martelli , Viviana Mascardi From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents. [Citation Graph (0, 0)][DBLP ] Conf ] E. Poleo , G. Rossi JAVASET: Declarative Programming in Java with Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Pasquale De Meo DL-WBA: Un agente intelligente basato sulla Logica Descrittiva per il supporto delle attivita di Web browsing. [Citation Graph (0, 0)][DBLP ] Conf ] Elisa Bertino , Alessandro Provetti , Franco Salvetti Local Closed-World Assumptions for reasoning about Semantic Web data. [Citation Graph (0, 0)][DBLP ] Conf ] Giovambattista Ianni , Francesco Calimeri , Vincenzino Lio , Stefania Galizia Reasoning about the Semantic Web using Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Villadsen Operational Semantics of an Imperative Language in Definite Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] David Pearce , Agustín Valverde Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Marina De Vos An Ordered Choice Logic Programming Front-End for Answer Set Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Davy Van Nieuwenborgh , Dirk Vermeir Ordered Programs as Abductive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thom W. Frühwirth , Christian Holzbaur Source-to-Source Transformation for a Class of Expressive Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Toni Mancini Towards automated reformulation of specications. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Axel Polleres Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] María Alpuente , Demis Ballis , Santiago Escobar , Moreno Falaschi , Salvador Lucas Abstract Correction of OBJ-like Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 