International Conference Logic Programming - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 2097

2023

Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual SemanticsMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. ICLP 2023: [doi]

Introducing ASP recipes and ASP ChefMario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners. ICLP 2023: [doi]

Sampling and probabilistic inference in D/SlpsNicos Angelopoulos. ICLP 2023: [doi]

On the impact of sensors update in declarative AI for videogamesDenise Angilica, Giorgio Michele De Giorgio, Giovambattista Ianni. ICLP 2023: [doi]

Value awareness and process automation: a reflection through school place allocation modelsJoaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski. ICLP 2023: [doi]

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023Joaquín Arias, Sotiris Batsakis, Wolfgang Faber 0001, Gopal Gupta 0001, Francesco Pacenza, Emmanuel Papadakis 0002, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep Gozen Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner, editors, Volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

A Brief Discussion about the Credal Semantics for Probabilistic Answer Set ProgramsDamiano Azzolini. ICLP 2023: [doi]

Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in ProgressDamiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi. ICLP 2023: [doi]

Routing and Scheduling in different ways: Abridged Preliminary ReportJan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko. ICLP 2023: [doi]

Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming ApproachesAlessandro Bertagnon, Marco Gavanelli. ICLP 2023: [doi]

Semantically Guided Scene Generation via Contextual Reasoning and Algebraic MeasuresLoris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova 0001. ICLP 2023: [doi]

Explanation Graphs for Stable Models of Labelled Logic ProgramsPedro Cabalar, Brais Muñiz. ICLP 2023: [doi]

Past-present temporal programs over finite traces: a preliminary reportPedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub. ICLP 2023: [doi]

Recursive Aggregates as Intensional FunctionsJorge Fandinno, Zachary Hansen. ICLP 2023: [doi]

Reasoning about Study Regulations in Answer Set Programming (Preliminary Report)Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn. ICLP 2023: [doi]

Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNFSpencer Killen, Wengkai Gao, Jia-Huai You. ICLP 2023: [doi]

Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule ExceptionsKumar Manas, Adrian Paschke. ICLP 2023: [doi]

Building BlawxJason Morris. ICLP 2023: [doi]

Modelling Cyber Defenses using s(CASP)Steve Moyle, Nicholas Allott, John Manslow. ICLP 2023: [doi]

Semantic Analysis of Assurance Cases using s(CASP)Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta 0001, Robin Bloomfield, Srivatsan Varadarajan, John Rushby. ICLP 2023: [doi]

How well do SOTA legal reasoning models support abductive reasoning?Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh. ICLP 2023: [doi]

Beyond Logic Programming for Legal ReasoningHa-Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh. ICLP 2023: [doi]

NeSyFOLD: Extracting Logic Programs from Convolutional Neural NetworksParth Padalkar, Huaduo Wang, Gopal Gupta 0001. ICLP 2023: [doi]

A Dataset of Contractual Events in Court DecisionsGuilherme Paulino-Passos, Ken Satoh, Francesca Toni. ICLP 2023: [doi]

asymptoticplp: Approximating probabilistic logic programs on large domainsBao Loi Quach, Felix Weitkämper. ICLP 2023: [doi]

Argument analysis using Answer Set Programming and Semantics-guided Large Language ModelsAbhiramon Rajasekharan, Yankai Zeng, Gopal Gupta 0001. ICLP 2023: [doi]

On the Subtlety of Causal Reasoning in Probabilistic Logic Programming: A Bug Report about the Causal Interpretation of Annotated DisjunctionsKilian Rückschloß, Felix Weitkämper. ICLP 2023: [doi]

(Re)Integration of Logical English and s(CASP)Galileo Sartor, Jacinto A. Dávila, Alessia Fidelangeli, Giuseppe Pisano. ICLP 2023: [doi]

2022

Constrained Default Logic ProgrammingShutao Zhang 0001, Zhizheng Zhang 0002, Jun Shen. ICLP 2022: [doi]

Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic"Kinjal Basu 0002. ICLP 2022: [doi]

Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based PolicyKinjal Basu 0002, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta. ICLP 2022: [doi]

Modeling Administrative Discretion using Goal-Directed Answer Set ProgrammingJoaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski. ICLP 2022: [doi]

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber 0001, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily Leblanc, Michael Morak, Elmer Salazar, Jessica Zangari, editors, Volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]

Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical SummaryDamiano Azzolini, Fabrizio Riguzzi, Evelina Lamma. ICLP 2022: [doi]

Computing H-Partitions in ASP and DatalogChloé Capon, Nicolas Lecomte, Jef Wijsen. ICLP 2022: [doi]

Epistemic Logic Programs: a Novel Perspective and Some ExtensionsStefania Costantini, Andrea Formisano 0001. ICLP 2022: [doi]

An s(CASP) In-Browser Playground based on Ciao PrologGuillermo García-Pradales, José F. Morales 0001, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro. ICLP 2022: [doi]

Tutorial: Automating Commonsense ReasoningGopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu 0002, Joaquín Arias, Farhad Shakerin, Fang Li 0010, Huaduo Wang. ICLP 2022: [doi]

Conflict Handling in Product Configuration using Answer Set ProgrammingKonstantin Herud, Joachim Baumeister, Orkunt Sabuncu, Torsten Schaub. ICLP 2022: [doi]

A Normative Model of Explanation for Binary Classification Legal AI and Its Implementation on Causal Explanations of Answer Set ProgrammingEvan Iatrou. ICLP 2022: [doi]

Translating Definitions into the Language of Logic Programming: A Case StudyVladimir Lifschitz. ICLP 2022: [doi]

Automating Defeasible Reasoning in Law with Answer Set ProgrammingHow Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong. ICLP 2022: [doi]

Blawx: Web-based User-Friendly Rules as CodeJason Morris. ICLP 2022: [doi]

Correct Causal Inference in Probabilistic Logic ProgrammingKilian Rückschloß, Felix Weitkämper. ICLP 2022: [doi]

Exploiting the Full Power of Pearl's Causality in Probabilistic Logic ProgrammingKilian Rückschloß, Felix Weitkämper. ICLP 2022: [doi]

Integration of Logical English and s(CASP)Galileo Sartor, Jacinto Davila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski. ICLP 2022: [doi]

A Query Evaluation Method for ASP with AbductionKen Satoh. ICLP 2022: [doi]

First Order Logic and Commonsense Reasoning: A Path Less TravelledTanel Tammet, Dirk Draheim, Priit Järv, Martin Verrev. ICLP 2022: [doi]

A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic KnowledgeDavid Tuckey, Krysia Broda, Alessandra Russo. ICLP 2022: [doi]

LTL Model Checking using Coinductive Answer Set ProgrammingSarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta. ICLP 2022: [doi]

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set ProgrammingSarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos, Brendan Hall. ICLP 2022: [doi]

A Causal Perspective on AI Deception in GamesFrancis Rhys Ward, Francesca Toni, Francesco Belardinelli. ICLP 2022: [doi]

Embedding s(CASP) in PrologJan Wielemaker, Mikko Tiihonen. ICLP 2022: [doi]

Assumable Answer Set ProgrammingZhizheng Zhang. ICLP 2022: [doi]

2021

Reasoning About Actions with EL(bot) Ontologies and Temporal Answer SetsLaura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. ICLP 2021: [doi]

Natural Language Question Answering with Goal-directed Answer Set ProgrammingKinjal Basu 0002, Gopal Gupta. ICLP 2021: [doi]

Graph Based Answer Set Programming Solver SystemsFang Li 0010, Elmer Salazar, Gopal Gupta. ICLP 2021: [doi]

Asynchronous Forward-Bounding algorithm with Directional Arc ConsistencyRachid Adrdor, Lahcen Koutti. ICLP 2021: [doi]

A Speech about Generative Datalog and Non-measurable SetsMario Alviano, Arnel Zamayla. ICLP 2021: [doi]

Modeling Clique Coloring via ASP(Q)Giovanni Amendola, Giovanni Rotondaro. ICLP 2021: [doi]

A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set ProgramsJoaquín Arias, Gopal Gupta, Manuel Carro. ICLP 2021: [doi]

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily Leblanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari, editors, Volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

When is a Program an Actual Cause?Bita Banihashemi, Shakil M. Khan 0001, Mikhail Soutchanski. ICLP 2021: [doi]

Explainability Through Argumentation in Logic ProgrammingMarco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor. ICLP 2021: [doi]

Modelling Human Mental-States in an Action Language following the Theory of Planned BehaviorAndreas Brännström, Juan Carlos Nieves. ICLP 2021: [doi]

Automata for Dynamic Answer Set Solving: Preliminary ReportPedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub. ICLP 2021: [doi]

Top-down Splitting Property for Epistemic Logic ProgramsStefania Costantini. ICLP 2021: [doi]

Solving B Constraints with Goal-directed Answer Set ProgrammingAlexandros Efremidis. ICLP 2021: [doi]

aspmc: An Algebraic Answer Set CounterThomas Eiter, Markus Hecher, Rafael Kiesel. ICLP 2021: [doi]

Formalizing Informal Logic and Natural Language DeductivismGopal Gupta, Sarat Varnasi, Kinjal Basu 0002, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li 0010, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll. ICLP 2021: [doi]

Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge BasesSpencer Killen, Jia-Huai You. ICLP 2021: [doi]

Building Health Policy Enforcement Solution Based on HL7 FHIRAlexey Koptsevich, Wolf Ruzicka, Victor Shilo, Mikkel P. Schultz, Dmitrii Velikii. ICLP 2021: [doi]

AUTO-DISCERN: Autonomous Driving Using Common Sense ReasoningSuraj Kothawade, Vinaya Khandelwal, Kinjal Basu 0002, Huaduo Wang, Gopal Gupta. ICLP 2021: [doi]

From Probabilistic Programming to Probabilistic ArgumentationNico Potyka. ICLP 2021: [doi]

Reasoning about Independence in Open Universe Probabilistic Logic ProgramsKilian Rueckschloss, Felix Weitkämper. ICLP 2021: [doi]

Theory Revision with Goal-directed ASPElmer Salazar. ICLP 2021: [doi]

Logic Programming for XAI: A Technical PerspectiveLaura State. ICLP 2021: [doi]

Gradient-Based Supported Model Computation in Vector SpacesAkihiro Takemura, Katsumi Inoue. ICLP 2021: [doi]

Establish Coherence in Logic Programs Modelling Expert Knowledge via ArgumentationAndre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner. ICLP 2021: [doi]

exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint RulesLy Ly T. Trieu, Tran Cao Son, Marcello Balduccini. ICLP 2021: [doi]

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li 0010, Kinjal Basu 0002, Kevin Driscoll, Gopal Gupta. ICLP 2021: [doi]

Modelling Infectious Disease Dynamics with Probabilistic Logic ProgrammingFelix Weitkämper, Beatrice Sarbu, Kailin Sun. ICLP 2021: [doi]

s(CASP) for SWI-PrologJan Wielemaker, Joaquín Arias, Gopal Gupta. ICLP 2021: [doi]

Answer Set Programming with Epistemic DefaultsShutao Zhang, Zhizheng Zhang, Jun Shen. ICLP 2021: [doi]

probKanren: A Simple Probabilistic Extension for microKanrenRobert Zinkov, Willliam E. Byrd. ICLP 2021: [doi]

2020

Determining Action Reversibility in STRIPS Using Epistemic Logic ProgramsWolfgang Faber 0001, Michael Morak. ICLP 2020: [doi]

An Analysis of Gibbs Sampling for Probabilistic Logic ProgramsDamiano Azzolini, Fabrizio Riguzzi, Evelina Lamma. ICLP 2020: [doi]

Action Languages and COVID-19: Lessons LearnedMarcello Balduccini, Michael Barborak, David A. Ferrucci. ICLP 2020: [doi]

Encoding Choice Logics in ASPMichael Bernreiter, Jan Maly 0001, Stefan Woltran. ICLP 2020: [doi]

Dynamic Epistemic Logic with ASP Updates: Application to Conditional PlanningPedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro. ICLP 2020: [doi]

Determining Action Reversibility in STRIPS Using Answer Set ProgrammingLukás Chrpa, Wolfgang Faber 0001, Daniel Fiser, Michael Morak. ICLP 2020: [doi]

International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020Carmine Dodaro, George Aristidis Elder, Wolfgang Faber 0001, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily Leblanc, Michael Morak, Jessica Zangari, editors, Volume 2678 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]

Causal Analysis of Events Occurring in Trajectories of Dynamic DomainsMichael Gelfond, Evgenii Balai. ICLP 2020: [doi]

Structural Decompositions of Epistemic Logic ProgramsMarkus Hecher, Michael Morak, Stefan Woltran. ICLP 2020: [doi]

Solving Assembly Line Workload Smoothing Problem via Answer Set ProgrammingOrkunt Sabuncu, Mehmet Cem Simsek. ICLP 2020: [doi]

Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)Giovanni Sileno. ICLP 2020: [doi]

Actual Causality in Contextual AbductionDegoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik. ICLP 2020: [doi]

An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning ProblemPierre Tassel, Martin Gebser, Mohamed Rbaia. ICLP 2020: [doi]

Towards Structure Learning under the Credal SemanticsDavid Tuckey, Krysia Broda, Alessandra Russo. ICLP 2020: [doi]

Proportional dependencies and asymptotics of probabilistic representationsFelix Weitkämper. ICLP 2020: [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

International Conference Logic Programming (ICLP)

Viewing Publication 1 - 100 from 2097

2023

2022

2021

2020

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

International Conference Logic Programming (ICLP)

Viewing Publication 1 - 100 from 2097

2023

2022

2021

2020

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1