International Conference on Logic Programming
container_lp3a6vqizfdbvlneh2os4i6swe
Showing first 25 out of 1,070 results
DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX
Axel Polleres, Roman Schindlauer
2007
|
International Conference on Logic Programming
dblp:conf/iclp/PolleresS07
Formalizing Informal Logic and Natural Language Deductivism
Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll
2021
|
International Conference on Logic Programming
dblp:conf/iclp/GuptaV0CSSE0WAH21
Natural Language Question Answering with Goal-directed Answer Set Programming
Kinjal Basu, Gopal Gupta
2021
|
International Conference on Logic Programming
dblp:conf/iclp/0002G21
The Distribution Semantics is Well-Defined for All Normal Programs
Fabrizio Riguzzi
2015
|
International Conference on Logic Programming
dblp:conf/iclp/Riguzzi15
Modelling Infectious Disease Dynamics with Probabilistic Logic Programming
Felix Weitkämper, Beatrice Sarbu, Kailin Sun
2021
|
International Conference on Logic Programming
dblp:conf/iclp/WeitkamperSS21
Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines
Mohan Yang, Alexander Shkapsky, Carlo Zaniolo
2015
|
International Conference on Logic Programming
dblp:conf/iclp/YangSZ15
Determining Action Reversibility in STRIPS Using Answer Set Programming
Lukás Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak
2020
|
International Conference on Logic Programming
dblp:conf/iclp/Chrpa0FM20
aspmc: An Algebraic Answer Set Counter
Thomas Eiter, Markus Hecher, Rafael Kiesel
2021
|
International Conference on Logic Programming
dblp:conf/iclp/EiterHK21
Solving Assembly Line Workload Smoothing Problem via Answer Set Programming
Orkunt Sabuncu, Mehmet Cem Simsek
2020
|
International Conference on Logic Programming
dblp:conf/iclp/SabuncuS20
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract)
Joaquín Arias, Manuel Carro
2015
|
International Conference on Logic Programming
dblp:conf/iclp/AriasC15
Explainability Through Argumentation in Logic Programming
Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
2021
|
International Conference on Logic Programming
dblp:conf/iclp/BilliCCPSS21
An Experiment in Automatic Synthesis of Expert Knowledge Through Qualitative Modelling
Igor Mozetic, Ivan Bratko, Nada Lavrac
1983
|
International Conference on Logic Programming
dblp:conf/iclp/MozeticBL83
Gradient-Based Supported Model Computation in Vector Spaces
Akihiro Takemura, Katsumi Inoue
2021
|
International Conference on Logic Programming
dblp:conf/iclp/TakemuraI21
Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation
Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner
2021
|
International Conference on Logic Programming
dblp:conf/iclp/ThevapalanHK21
An Operational Algebraic Semantics of Prolog Programs
Pierre Deransart
1983
|
International Conference on Logic Programming
dblp:conf/iclp/Deransart83
Theory Revision with Goal-directed ASP
Elmer Salazar
2021
|
International Conference on Logic Programming
dblp:conf/iclp/Salazar21
Markov Logic Style Weighted Rules under the Stable Model Semantics
Joohyung Lee, Yunsong Meng, Yi Wang
2015
|
International Conference on Logic Programming
dblp:conf/iclp/LeeMW15
Ontology Based Information Integration Using Logic Programming
Gergely Lukácsy, Péter Szeredi
2007
|
International Conference on Logic Programming
dblp:conf/iclp/LukacsyS07
Parallel Execution of the ASP Computation - an Investigation on GPUs
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
2015
|
International Conference on Logic Programming
dblp:conf/iclp/DovierFPV15
ASP-PROLOG: Composition and Interoperation of Rules
Enrico Pontelli
2007
|
International Conference on Logic Programming
dblp:conf/iclp/Pontelli07
Combining OWL with F-Logic Rules and Defaults
Heiko Kattenstroth, Wolfgang May, Franz Schenk
2007
|
International Conference on Logic Programming
dblp:conf/iclp/KattenstrothMS07
CHR Exhaustive Execution - Revisited
Ahmed Elsawy, Amira Zaki, Slim Abdennadher
2015
|
International Conference on Logic Programming
dblp:conf/iclp/ElsawyZA15
Debugging ASP using ILP
Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke
2015
|
International Conference on Logic Programming
dblp:conf/iclp/LiVPSB15
Handling Probability and Inconsistency in Answer Set Programming
Yi Wang
2015
|
International Conference on Logic Programming
dblp:conf/iclp/Wang15
Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary
Günther Charwat
2015
|
International Conference on Logic Programming
dblp:conf/iclp/Charwat15
« Previous
Showing results 0 — 25 out of 1,070 results
Next »