| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stefano Ferilli |
Toward an Improved Downward Refinement Operator for Inductive Logic Programming.  |
CILC  |
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. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Roberto Micalizio, Gianluca Pozzato |
Revising Description Logic Terminologies to Handle Exceptions: a First Step. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Carlo Combi, Pietro Sala |
Keeping Interval-Based Functional Dependencies Up-to-Date. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marco Montali, Diego Calvanese, Giuseppe De Giacomo |
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. |
CILC |
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. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Régis Riveret |
Complex Events and Actions in Logical Agents. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Francesca Toni |
From Logic Programming to Argumentation and Back. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati 0001 |
Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Tommaso Di Noia, Marina Mongiello, Eugenio Di Sciascio |
A Computational Model for Mapreduce Job Flow. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Luigi Sauro, Iliana M. Petrova |
A Mechanism for Ontology Confidentiality. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu |
Hyper-Extensionality and One-Node Elimination on Membership Graphs. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Loris Bozzato, Thomas Eiter, Luciano Serafini |
Defeasibility in Contextual Reasoning with CKR. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Antonis C. Kakas, Francesca Toni, Paolo Mancarella |
Argumentation for Propositional Logic and Nonmonotonic Reasoning. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier |
Set Graphs VI: Logic Programming and Bisimulation. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Nicola Olivetti, Gian Luca Pozzato |
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Maria Paola Bonacina |
On Model-Based Reasoning: Recent Trends and Current Developments. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
A Semantics for Rational Closure: Preliminary Results. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano 0001 |
Negation as a Resource: a Novel View on Answer Set Semantics. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001 |
A First Comparison of Abstract Argumentation Systems: A Computational Perspective. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano |
Focusing on Contraction. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Smith, Dario De Sanctis, Maurizio Proietti |
A Platform for Managing Business Process Knowledge Bases via Logic Programming. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alberto Policriti |
Encodings of Sets and Hypersets. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Pierpaolo Calligaris, Eugenio G. Omodeo, Alexandru I. Tomescu |
A Proof-checking Experiment on Representing Graphs as Membership Digraphs. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Eugenio G. Omodeo |
Proof Verification within Set Theory. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
Constraint and Optimization techniques for supporting Policy Making. |
CILC |
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. |
CILC |
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. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi |
A Description Logics Tableau Reasoner in Prolog. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Giovanni De Gasperis, Niva Florio, Claudia Zuppella |
An ASP-based System for Preference Handling and Planning. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Fulvio Rotella, Stefano Ferilli |
Probabilistic Abductive Logic Programming using Possible Worlds. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alberto Policriti |
On the Decidability of the ∃*∀* Prefix Class in Set Theory. |
CILC |
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. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Verification of Imperative Programs by Transforming Constraint Logic Programs. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Rossi, Federico Bergenti |
Nondeterministic Programming in Java with JSetL. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Joanna Golinska-Pilarek |
Relational Dual Tableaux: Foundations and Applications. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Francesca Alessandra Lisi, Umberto Straccia |
Dealing with Incompleteness and Vagueness in Inductive Logic Programming. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Fabio Leuzzi, Stefano Ferilli |
Reasoning by Analogy Using Past Experiences. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma |
Probabilistic Ontologies in Datalog+/-. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Riguzzi |
Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and Exclusiveness. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca |
Extending ASPIDE with User-defined Plugins. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano 0001 |
Preferences and Priorities in ASP. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Tommaso Flaminio, Hykel Hosni |
The Epistemic Structure of de Finetti's Betting Problem. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
Rank-Based Simulation on Acyclic Graphs. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
Exploiting Unexploited Computing Resources for Computational Logics. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Umberto Straccia |
Foundations of Fuzzy Logic and Semantic Web Languages. |
CILC |
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. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi |
Software Model Checking by Program Specialization. |
CILC |
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. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Volha Kerhet, Enrico Franconi |
On Checking Domain Independence. |
CILC |
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. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo |
On the Elimination of Quantifiers through Descriptors in Predicate Logic. |
CILC |
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. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Simona Colucci, Francesco M. Donini |
Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefano Ferilli, Teresa Maria Altomare Basile, Floriana Esposito |
Two Extensions of FOL Horn Clauses Comparison to Interpreted Predicates. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
A Modal Reconstruction of Rational Closure. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Francesca A. Lisi (eds.) |
Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012 |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Gilles Dowek, Murdoch James Gabbay |
Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Panagiota Tsintza |
Temporal Meta-Axioms in Logical Agents. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Fabio Fioravanti (eds.) |
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011 |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Francesco Mele, Antonio Sorgente |
The temporal representation and reasoning of complex events. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti 0001, Marco Gavanelli, Evelina Lamma |
The CHR-based Implementation of the SCIFF Abductive System. |
CILC |
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. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Elena Bellodi, Fabrizio Riguzzi |
EM over Binary Decision Diagrams for Probabilistic Logic Programs. |
CILC |
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. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Francesca A. Lisi, Umberto Straccia |
An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Controlling Polyvariance for Specialization-based Verification. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Stefan Woltran |
Complexity of Super-Coherence Problems in Answer Set Programming. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca 0001 |
Logic-based reasoning support for SBVR. |
CILC |
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. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Annamaria Basile, Maria Rosa Felice, Alessandro Provetti |
Formalization and Automated reasoning about a Complex Signalling Network. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dario Della Monica, Margherita Napoli, Mimmo Parente |
Coalitional Games with Priced-Resource Agents. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Claudia Casadio, Mehrnoosh Sadrzadeh |
Cyclic pregroups and natural language: a computational algebraic analysis. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ilaria De Crescenzo, Salvatore La Torre |
Winning CaRet Games with Modular Strategies. |
CILC |
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. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi |
PrettyCLP: a Light Java Implementation for Teaching CLP. |
CILC |
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. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Riguzzi |
MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Agostino Dovier |
A Tabled Prolog Program for Solving Sokoban. |
CILC |
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. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli |
Solving XCSP problems by using Gecode. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Paola Campli, Francesco Santini 0001 |
Finding Partitions of Arguments with Dung's Properties via SCSPs. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dario Campagna, Andrea Formisano 0001 |
ProdProc - Product and Production Process Modeling and Configuration. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giovanna D'Agostino, Giacomo Lenzi |
On modal mu-calculus in S5 and applications. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Raffaella Gentilini |
A Note on the Approximation of Mean-Payoff Games. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Onofrio Febbraro, Kristian Reale, Francesco Ricca |
Testing ASP programs in ASPIDE. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti |
Synthesizing Concurrent Programs using Answer Set Programming. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano 0001 |
Nested Weight Constraints in ASP. |
CILC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
A Transformation Strategy for Verifying Logic Programs on Infinite Lists. |
CILC |
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. |
CILC |
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. |
CILC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Riguzzi, Terrance Swift |
An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. |
CILC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Simona Perri, Francesco Ricca, Marco Sirianni |
Parallel Instantiation in DLV. |
CILC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives. |
CILC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Onofrio Febbraro, Kristian Reale, Francesco Ricca |
A Visual Interface for Drawing ASP Programs. |
CILC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré |
Reasoning about Actions with Temporal Answer Sets. |
CILC |
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. |
CILC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. |
CILC |
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. |
CILC |
2010 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license