Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peter Baumgartner 0001, Elena Tartaglia |
Bottom-Up Stratified Probabilistic Logic Programming with Fusemate. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Justin Brody |
On the Potential of CLIP for Compositional Logical Reasoning. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Hatschka, Agata Ciabattoni, Thomas Eiter |
Deontic Paradoxes in ASP with Weak Constraints. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Carbonnelle, Matthias van der Hallen, Marc Denecker |
Quantification and aggregation over concepts of the ontology. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen |
Generalizing Level Ranking Constraints for Monotone and Convex Aggregates. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Maurizio Proietti, Francesca Toni |
ABA Learning via ASP. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001 |
An xAI Approach for Data-to-Text Processing with ASP. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García 0001 |
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Suchan, Jan-Patrick Osterloh |
Assessing Drivers' Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modelling Scene Interpretation and Projection. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ghazal Afroozi Milani, Daniel Cyrus, Alireza Tamaddoni-Nezhad |
Towards One-Shot Learning for Text Classification using Inductive Logic Programming. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kilian Rückschloß, Felix Weitkämper |
"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andre Thevapalan, Gabriele Kern-Isberner |
Sorting Strategies for Interactive Conflict Resolution in ASP. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gonzague Yernaux, Wim Vanhoof |
A Dataflow Analysis for Comparing and Reordering Predicate Arguments. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Toni, Nico Potyka, Markus Ulbricht 0001, Pietro Totis |
Understanding ProbLog as Probabilistic Argumentation. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
Explanations for Answer Set Programming. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Bueff, Vaishak Belle |
Deep Inductive Logic Programming meets Reinforcement Learning. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wlodzimierz Drabent |
On Feasibility of Declarative Diagnosis. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach 0002, Maximilian Marx 0001, Matthias Meißner, Simon Meusel, Markus Krötzsch |
Nemo: First Glimpse of a New Rule Engine. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Forti 0002, Ahmad Ibrahim 0001, Antonio Brogi |
Leasing the Cloud-Edge Continuum, à la Carte. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Ferreiro, José F. Morales 0001, Salvador Abreu, Manuel V. Hermenegildo |
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kilian Rückschloß, Felix Weitkämper |
On the Independencies Hidden in the Structure of a Probabilistic Logic Program. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | George Aristidis Elder, Conrad Bessant |
Inferring Compensatory Kinase Networks in Yeast using Prolog. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Theresa Swift, Carl Andersen 0001 |
The Janus System: Multi-paradigm Programming in Prolog and Python. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Richard Comploi-Taupe |
Inductive Learning of Declarative Domain-Specific Heuristics for ASP. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vineel S. K. Tummala |
Penalization Framework For Autonomous Agents Using Answer Set Programming. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Rafanelli |
Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic Techniques. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Abhiramon Rajasekharan, Yankai Zeng, Parth Padalkar, Gopal Gupta 0001 |
Reliable Natural Language Understanding with Large Language Models and Answer Set Programming. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Geibinger |
Explainable Answer-set Programming. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle |
Benchmarking for Integrating Logic Rules with Everything Else. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuelle Dietz, Tobias Philipp, Gerrit Schramm, Andreas Zindel |
A Logic Programming Approach to Global Logistics in a Co-Design Environment. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni (eds.) |
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zahra Chaghazardi, Saber Fallah, Alireza Tamaddoni-Nezhad |
Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach. |
ICLP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Johan Wittocx, Hanne Vlaeminck, Marc Denecker |
Debugging for Model Expansion. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Esra Erdem 0001, Halit Erdogan, Michael Fink 0001 |
Finding Similar or Diverse Solutions in Answer Set Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
similar/diverse solutions, answer set programming, phylogenies |
1 | Michael Thielscher |
Answer Set Programming for Single-Player Games in General Game Playing. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Answer Set Programming with Constraints Using Lazy Grounding. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mireille Ducassé |
(C)LP Tracing and Debugging. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jon Sneyers |
Optimizing Compilation and Computational Complexity of Constraint Handling Rules. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Inclezan |
Modular Action Language ALM{\cal ALM}. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
Logic Programming for Multiagent Planning with Negotiation. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gerardo I. Simari |
Stochastic Reasoning with Models of Agent Behavior. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang |
Stabilization of Information Sharing for Queries Answering in Multiagent Systems. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Abductive Logic Programs, Stabilization, Information Sharing, Cooperative Multiagent Systems |
1 | Andy King |
Untangling Reverse Engineering with Logic and Abstraction. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chendong Li |
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marc Denecker |
A Knowledge Base System Project for FO(.). |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hui Wan 0001, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang |
Logic Programming with Defaults and Argumentation Theories. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Defeasible reasoning, well-founded models, argumentation theory |
1 | Henning Christiansen 0001, John P. Gallagher |
Non-discriminating Arguments and Their Uses. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Leslie De Koninck |
Execution Control for CHR. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli |
Logic Programs under Three-Valued Lukasiewicz Semantics. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Three Valued Logic Programs, ?ukasiewicz Semantics |
1 | Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey |
Demand-Driven Normalisation for ACD Term Rewriting. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael P. Ashley-Rollman |
Research Summary: Logic Programming for Massively Distributed Systems. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gayathri Namasivayam |
Study of Random Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001, Ole Torp Lassen |
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jan Wielemaker |
Enabling Serendipitous Search on the Web of Data Using Prolog. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Truszczynski |
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
logic here-and-there, answer-set programming, Stable models |
1 | Frank Raiser |
Research Summary. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Torsten Schaub, Sven Thiele |
Metabolic Network Expansion with Answer Set Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Beata Sarna-Starosta, Tom Schrijvers |
Attributed Data for CHR Indexing. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
term representation, attributed variables, indexing, program transformation, Constraint Handling Rules |
1 | Mantas Simkus |
Fusion of Logic Programming and Description Logics. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paola Campli, Stefano Bistarelli |
Capturing Fair Computations on Concurrent Constraint Language. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Patricia M. Hill, David Scott Warren (eds.) |
Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Sato |
Generative Modeling by PRISM. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Pilozzi |
Research Summary: Termination of CHR. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
Merging Logic Programs under Answer Set Semantics. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
strong equivalence, answer set programming, belief merging |
1 | Jianmin Ji |
Research Summary. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo |
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
static/dynamic debugging, program verification, unit testing, assertions, run-time verification |
1 | Marco Bottalico, Stefano Bistarelli |
Constraint Based Languages for Biological Reactions. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David Vaz, Vítor Santos Costa, Michel Ferreira |
User Defined Indexing. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Terrance Swift |
An Engine for Computing Well-Founded Models. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Tabling, WAM |
1 | Jorge Costa, João Raimundo, Ricardo Rocha 0001 |
A Term-Based Global Trie for Tabled Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Table Space, Implementation, Tabling Logic Programming |
1 | Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez 0001, Camilo Rueda, Mauricio Toro, Frank D. Valencia |
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
Modular Nonmonotonic Logic Programming Revisited. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Modular Logic Programming, Knowledge Representation, Answer Set Programming |
1 | Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian |
Using Histograms to Better Answer Queries to Probabilistic Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Imprecise Probabilities, Probabilistic Logic Programming |
1 | Paolo Pilozzi, Danny De Schreye |
Automating Termination Proofs for CHR. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Neng-Fa Zhou |
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dean Voets, Danny De Schreye |
A New Approach to Non-termination Analysis of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
non-termination analysis, program analysis |
1 | Paulo Moura |
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
A Tabling Implementation Based on Variables with Multiple Bindings. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Performance, Logic Programming, Implementation, Tabling, OR-Parallelism |
1 | Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira |
Incremental Answer Completion in the SLG-WAM. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael DeRosa |
Locally Distributed Predicates: A Programming Facility for Distributed State Detection. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christian Theil Have |
Logic-Statistic Models with Constraints for Biological Sequence Analysis. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Qualified Computations in Functional Logic Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification |
1 | Dean Voets |
Research Summary: Non-termination Analysis of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gavanelli, Marco Alberti 0001, Evelina Lamma |
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas T. Hildebrandt, Hugo A. López 0001 |
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming |
1 | Michael P. Ashley-Rollman, Peter Lee 0001, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell |
A Language for Large Ensembles of Independently Executing Nodes. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hui Wan 0001 |
Belief Logic Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yuliya Lierler, Vladimir Lifschitz |
One More Decidable Class of Finitely Ground Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Max Ostrowski, Torsten Schaub |
Constraint Answer Set Solving. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Paolucci |
Research Summary: Intelligent Natural Language Processing Techniques and Tools. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luc De Raedt |
Probabilistic Logic Learning - A Tutorial Abstract. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning |
1 | Yana Todorova |
Answering Questions from Natural Language Using A-Prolog. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Pilozzi, Danny De Schreye |
Proving Termination by Invariance Relations. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paul Fodor |
Research Summary: Tabled Evaluation for Transaction Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chris Mungall |
Experiences Using Logic Programming in Bioinformatics. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Logic Engines as Interactors. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
generalized iterators, logic engines, agent oriented programming language constructs, metaprogramming |
1 | David Pearce 0001 |
Sixty Years of Stable Models. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|