| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Towards Incremental and Modular Context-Sensitive Analysis.  |
ICLP (Technical Communications)  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiantian Gao |
Knowledge Authoring and Question Answering via Controlled Natural Language. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Thor Kahl, Anthony P. Leclerc |
Epistemic Logic Programs with World View Constraints. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Stéphan |
A New Proof-Theoretical Linear Semantics for CHR. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue |
Learning Commonsense Knowledge Through Interactive Dialogue. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Da Shen, Yuliya Lierler |
SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Duc Nguyen |
Natural Language Generation From Ontologies Using Grammatical Framework. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Igne, Agostino Dovier, Enrico Pontelli |
MASP-Reduce: A Proposal for Distributed Computation of Stable Models. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joana Côrte-Real, Anton Dries, Inês Dutra, Ricardo Rocha 0001 |
Improving Candidate Quality of Probabilistic Logic Models. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Taupe |
Speeding up Lazy-Grounding Answer Set Solving. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie |
Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Obermeier |
Scalable Robotic Intra-Logistics with Answer Set Programming. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Farka |
Proof-Relevant Resolution for Elaboration of Programming Languages. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhun Yang |
Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha 0001, Tran Cao Son, Christopher Mears, Neda Saeedloei (eds.) |
Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia |
ICLP (Technical Communications) |
2018 |
DBLP BibTeX RDF |
|
| 1 | Van Duc Nguyen, Tran Cao Son, Enrico Pontelli |
Explanations Generation For Web Service Workflow. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Shakerin, Gopal Gupta |
Cumulative Scoring-Based Induction of Default Theories. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor (eds.) |
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom |
ICLP (Technical Communications) |
2018 |
DBLP BibTeX RDF |
|
| 1 | Bram Aerts, Joost Vennekens |
Application of Logic-Based Methods to Machine Component Design. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhizheng Zhang |
Introspecting Preferences in Answer Set Programming. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Arindam Mitra |
The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question Answering. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Filipe Gouveia, Inês Lynce, Pedro T. Monteiro |
Model Revision of Logical Regulatory Networks Using Logic-Based Tools. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo |
Towards Static Performance Guarantees for Programs with Run-Time Checks. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth |
CHR^vis: Syntax and Semantics. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Wang |
Probabilistic Action Language pBC+. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily C. LeBlanc |
Explaining Actual Causation via Reasoning About Actions and Change. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Bliem |
Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian |
Entity set expansion from the Web via ASP. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Michael Frank 0002, Amit Metodi, Morad Muslimany |
Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Melisachew Wudage Chekol, Heiner Stuckenschmidt |
Rule Based Temporal Inference. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Towards Run-time Checks Simplification via Term Hiding. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Roman Barták |
// Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiantian Gao |
Achieving High Quality Knowledge Acquisition using Controlled Natural Language. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova |
On Improving Run-time Checking in Dynamic Languages. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Semantic Versioning Checking in a Declarative Package Manager. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney |
Understanding Restaurant Stories Using an ASP Theory of Intentions. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Schwitter |
Learning Effect Axioms via Probabilistic Logic Programming. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano |
The Pyglaf Argumentation Reasoner. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau |
A Hitchhiker's Guide to Reinventing a Prolog Machine. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
Reasoning on anonymity in Datalog+/-. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might |
A Simple Complete Search for Logic Programming. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Isabel |
Testing of Concurrent Programs. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Susman, Yuliya Lierler |
SMT-Based Constraint Answer Set Solver EZSMT (System Description). |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Intelligent Instantiation and Supersafe Rules. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Broes De Cat, Yuliya Lierler |
Constraint CNF: SAT and CSP Language Under One Roof. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhuo Chen |
Automating Disease Management Using Answer Set Programming. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Arias |
Tabled CLP for Reasoning Over Stream Data. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Romero 0003, Torsten Schaub, Philipp Wanko |
Computing Diverse Optimal Stable Models. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe |
Grounded Fixpoints and Active Integrity Constraints. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Frank |
Methods for Solving Extremal Problems in Practice. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Vandenbroucke |
The Functional Perspective on Advanced Logic Programming. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko |
Theory Solving Made Easy with Clingo 5. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jori Bomanson, Martin Gebser, Tomi Janhunen |
Rewriting Optimization Statements in Answer-Set Programs. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Nampally, C. R. Ramakrishnan |
Inference in Probabilistic Logic Programs Using Lifted Explanations. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michell Guzmán, Frank D. Valencia |
On the Expressiveness of Spatial Constraint Systems. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer |
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Wanko |
Scalable Design Space Exploration via Answer Set Programming. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, List of Authors. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Béatrix, Claire Lefèvre, Laurent Garcia, Igor Stéphan |
Justifications and Blocking Sets in a Rule-Based Answer Set Computation. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiantian Gao |
Controlled Natural Languages for Knowledge Representation and Reasoning. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero 0003, Torsten Schaub |
Answer Set Solving with Generalized Learned Constraints. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker |
A Compositional Typed Higher-Order Logic with Definitions. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Gange, Peter J. Stuckey |
Constraint Propagation and Explanation over Novel Types by Abstract Compilation. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos (eds.) |
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA |
ICLP (Technical Communications) |
2016 |
DBLP BibTeX RDF |
|
| 1 | Christopher Brenton, Wolfgang Faber 0001, Sotiris Batsakis |
Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Paul Gill |
A Logic-Based Approach to Understanding Lone-Actor Terrorism. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Rémi Brochenin, Marco Maratea |
Abstract Answer Set Solvers for Cautious Reasoning. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier |
Logic Programming and Bisimulation. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni (eds.) |
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Elsawy, Amira Zaki, Slim Abdennadher |
CHR Exhaustive Execution - Revisited. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Mohan Yang, Alexander Shkapsky, Carlo Zaniolo |
Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Matthias van der Hallen |
Higher Order Support in Logic Specification Languages for Data Mining Applications. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Joohyung Lee, Yunsong Meng, Yi Wang 0048 |
Markov Logic Style Weighted Rules under the Stable Model Semantics. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Amelia Harrison |
Formal Methods for Answer Set Programming. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota |
An Abductive Framework for Datalog± Ontologies. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Günther Charwat |
Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
Parallel Execution of the ASP Computation - an Investigation on GPUs. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Paul Tarau |
On Type-directed Generation of Lambda Terms. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Peter Schüller, Antonius Weinzierl |
Answer Set Application Programming: a Case Study on Tetris. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Amr Hany Saleh |
Transforming Delimited Control: Achieving Faster Effect Handlers. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke |
Debugging ASP using ILP. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Joohyung Lee, Yi Wang 0048, Yu Zhang |
Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Vincent Nys |
Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein |
Thread-Aware Logic Programming for Data-Driven Parallel Programs. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Carlo Zaniolo |
Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Yi Wang |
Handling Probability and Inconsistency in Answer Set Programming. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Kiesl, Peter Schüller, Hans Tompits |
On Structural Analysis of Non-Ground Answer-Set Programs. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | David Martínez 0004, Tony Ribeiro, Katsumi Inoue, Guillem Alenyà, Carme Torras |
Learning Probabilistic Action Models from Interpretation Transitions. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Jan Rosecky, Filip Procházka, Barbora Buhnova |
Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, João Moura Pires, Anastasia Analyti |
Unifying Justifications and Debugging for Answer-Set Programs. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Nicos Angelopoulos, Georgios Giamas |
A Logical Approach to Working with Biological Databases. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy |
Structural Resolution for Logic Programming. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Salim Perchy, Frank Valencia |
Opinions and Beliefs as constraint system operators. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro |
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher |
Relating Concrete Argumentation Formalisms and Abstract Argumentation. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marcus Völker, Katsumi Inoue |
Logic Programming for Cellular Automata. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Emilio Jesús Gallego Arias, James Lipton |
Logic Programming in Tabular Allegories. |
ICLP (Technical Communications) |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license