Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Stefano Ferilli |
Toward an Improved Downward Refinement Operator for Inductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 99-113, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska |
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 194-209, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Roberto Micalizio, Gianluca Pozzato |
Revising Description Logic Terminologies to Handle Exceptions: a First Step. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 225-240, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Carlo Combi, Pietro Sala |
Keeping Interval-Based Functional Dependencies Up-to-Date. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 330-334, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Marco Montali, Diego Calvanese, Giuseppe De Giacomo |
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 84-98, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato (eds.) |
Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Régis Riveret |
Complex Events and Actions in Logical Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 256-271, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Francesca Toni |
From Logic Programming to Argumentation and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 11, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Riccardo Rosati 0001 |
Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 12, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Tommaso Di Noia, Marina Mongiello, Eugenio Di Sciascio |
A Computational Model for Mapreduce Job Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 335-340, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Piero A. Bonatti, Luigi Sauro, Iliana M. Petrova |
A Mechanism for Ontology Confidentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 147-161, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu |
Hyper-Extensionality and One-Node Elimination on Membership Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 341-346, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Loris Bozzato, Thomas Eiter, Luciano Serafini |
Defeasibility in Contextual Reasoning with CKR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 132-146, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Antonis C. Kakas, Francesca Toni, Paolo Mancarella |
Argumentation for Propositional Logic and Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 272-286, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 114-131, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier |
Set Graphs VI: Logic Programming and Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 14-29, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Nicola Olivetti, Gian Luca Pozzato |
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 49-63, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Maria Paola Bonacina |
On Model-Based Reasoning: Recent Trends and Current Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 9, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
A Semantics for Rational Closure: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 99-113, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Negation as a Resource: a Novel View on Answer Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 17-31, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001 |
A First Comparison of Abstract Argumentation Systems: A Computational Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 241-245, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano |
Focusing on Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 65-81, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Fabrizio Smith, Dario De Sanctis, Maurizio Proietti |
A Platform for Managing Business Process Knowledge Bases via Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 247-251, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Alberto Policriti |
Encodings of Sets and Hypersets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 235-240, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Pierpaolo Calligaris, Eugenio G. Omodeo, Alexandru I. Tomescu |
A Proof-checking Experiment on Representing Graphs as Membership Digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 227-233, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Eugenio G. Omodeo |
Proof Verification within Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 11, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
Constraint and Optimization techniques for supporting Policy Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 195-209, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Marianna Nicolosi Asmundo (eds.) |
Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Paolo Gentilini, Maurizio Martelli |
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 147-162, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi |
A Description Logics Tableau Reasoner in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 33-47, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Giovanni De Gasperis, Niva Florio, Claudia Zuppella |
An ASP-based System for Preference Handling and Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 253-257, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Fulvio Rotella, Stefano Ferilli |
Probabilistic Abductive Logic Programming using Possible Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 131-145, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Alberto Policriti |
On the Decidability of the ∃*∀* Prefix Class in Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 13, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
CUD@ASP: Experimenting with GPGPUs in ASP solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 163-177, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Verification of Imperative Programs by Transforming Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 83-98, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Gianfranco Rossi, Federico Bergenti |
Nondeterministic Programming in Java with JSetL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 211-226, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Joanna Golinska-Pilarek |
Relational Dual Tableaux: Foundations and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 15-16, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Francesca Alessandra Lisi, Umberto Straccia |
Dealing with Incompleteness and Vagueness in Inductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 179-193, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Fabio Leuzzi, Stefano Ferilli |
Reasoning by Analogy Using Past Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 115-129, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma |
Probabilistic Ontologies in Datalog+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 221-235, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Fabrizio Riguzzi |
Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and Exclusiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 206-220, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca |
Extending ASPIDE with User-defined Plugins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 236-240, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Preferences and Priorities in ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 47-58, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Tommaso Flaminio, Hykel Hosni |
The Epistemic Structure of de Finetti's Betting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 241-245, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
Rank-Based Simulation on Acyclic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 149-160, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
Exploiting Unexploited Computing Resources for Computational Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 74-88, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Umberto Straccia |
Foundations of Fuzzy Logic and Semantic Web Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 1, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré |
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 176-190, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi |
Software Model Checking by Program Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 89-103, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Pasquale Minervini, Claudia d'Amato, Nicola Fanizzi |
Learning Terminological Bayesian Classifiers - A Comparison of Alternative Approaches to Dealing with Unknown Concept-Memberships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 191-205, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Volha Kerhet, Enrico Franconi |
On Checking Domain Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 246-250, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti |
A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 2-16, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo |
On the Elimination of Quantifiers through Descriptors in Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 17-31, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini |
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 134-148, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Simona Colucci, Francesco M. Donini |
Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 32-46, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Stefano Ferilli, Teresa Maria Altomare Basile, Floriana Esposito |
Two Extensions of FOL Horn Clauses Comparison to Interpreted Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 119-133, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
A Modal Reconstruction of Rational Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 161-175, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Francesca A. Lisi (eds.) |
Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Gilles Dowek, Murdoch James Gabbay |
Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 104-118, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Panagiota Tsintza |
Temporal Meta-Axioms in Logical Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 59-73, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Fabio Fioravanti (eds.) |
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Francesco Mele, Antonio Sorgente |
The temporal representation and reasoning of complex events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 385-399, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Marco Alberti 0001, Marco Gavanelli, Evelina Lamma |
The CHR-based Implementation of the SCIFF Abductive System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 163-177, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Carmine Dodaro, Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca, Marco Sirianni |
The Birth of a WASP: Preliminary Report on a New ASP Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 99-113, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Elena Bellodi, Fabrizio Riguzzi |
EM over Binary Decision Diagrams for Probabilistic Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 229-243, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 41-55, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Francesca A. Lisi, Umberto Straccia |
An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 57-71, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Controlling Polyvariance for Specialization-based Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 179-197, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Mario Alviano, Wolfgang Faber 0001, Stefan Woltran |
Complexity of Super-Coherence Problems in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 131-145, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca 0001 |
Logic-based reasoning support for SBVR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 311-325, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Davide D'Aprile, Laura Giordano 0001, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré |
Verifying Compliance of Business Processes with Temporal Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 147-161, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Annamaria Basile, Maria Rosa Felice, Alessandro Provetti |
Formalization and Automated reasoning about a Complex Signalling Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 407-414, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Dario Della Monica, Margherita Napoli, Mimmo Parente |
Coalitional Games with Priced-Resource Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 341-347, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Claudia Casadio, Mehrnoosh Sadrzadeh |
Cyclic pregroups and natural language: a computational algebraic analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 349-363, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Ilaria De Crescenzo, Salvatore La Torre |
Winning CaRet Games with Modular Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 327-331, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Marianna Nicolosi Asmundo |
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 73-97, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi |
PrettyCLP: a Light Java Implementation for Teaching CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 281-295, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Niva Florio, Alessio Paolucci |
A framework for structured knowledge extraction and representation from natural language via deep sentence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 297-310, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Fabrizio Riguzzi |
MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 25-39, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Neng-Fa Zhou, Agostino Dovier |
A Tabled Prolog Program for Solving Sokoban. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 215-228, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Tania Di Mascio, Rosella Gennari, Pierpaolo Vittorini |
TERENCE: An Adaptive Learning System for Reasoning about Stories with Poor Comprehenders and their Educators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 365-369, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli |
Solving XCSP problems by using Gecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 401-405, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Paola Campli, Francesco Santini 0001 |
Finding Partitions of Arguments with Dung's Properties via SCSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 199-213, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Dario Campagna, Andrea Formisano 0001 |
ProdProc - Product and Production Process Modeling and Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 261-279, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Giovanna D'Agostino, Giacomo Lenzi |
On modal mu-calculus in S5 and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 9-24, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Raffaella Gentilini |
A Note on the Approximation of Mean-Payoff Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 333-340, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Onofrio Febbraro, Kristian Reale, Francesco Ricca |
Testing ASP programs in ASPIDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 115-129, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti |
Synthesizing Concurrent Programs using Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 245-259, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Nested Weight Constraints in ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 371-383, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
A Transformation Strategy for Verifying Logic Programs on Infinite Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi |
Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo |
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Fabrizio Riguzzi, Terrance Swift |
An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Simona Perri, Francesco Ricca, Marco Sirianni |
Parallel Instantiation in DLV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Onofrio Febbraro, Kristian Reale, Francesco Ricca |
A Visual Interface for Drawing ASP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré |
Reasoning about Actions with Temporal Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Giovanni Grasso 0001, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise |
Team-building with Answer Set Programming in the Gioia-Tauro Seaport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|