default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID37th ICLP 2021: Virtual Event / Porto, Portugal
- Joaquí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:
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, 2021. CEUR Workshop Proceedings 2970, CEUR-WS.org 2021
Answer Set Programming and Other Computing Paradigms
- Pedro Cabalar, Martín Diéguez
, Susana Hahn, Torsten Schaub:
Automata for Dynamic Answer Set Solving: Preliminary Report. - Mario Alviano, Arnel D. Zamayla:
A Speech about Generative Datalog and Non-measurable Sets. - Akihiro Takemura, Katsumi Inoue:
Gradient-Based Supported Model Computation in Vector Spaces. - Stefania Costantini:
Top-down Splitting Property for Epistemic Logic Programs. - Spencer Killen, Jia-Huai You:
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. - Giovanni Amendola, Giovanni Rotondaro:
Modeling Clique Coloring via ASP(Q). - Andreas Brännström, Juan Carlos Nieves:
Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior. - Shutao Zhang, Zhizheng Zhang, Jun Shen:
Answer Set Programming with Epistemic Defaults. - Rachid Adrdor, Lahcen Koutti:
Asynchronous Forward-Bounding algorithm with Directional Arc Consistency.
Causal Reasoning and Explanation in Logic Programming
- Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski:
When is a Program an Actual Cause? - Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor:
Explainability Through Argumentation in Logic Programming. - Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. - Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner:
Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation. - Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules.
Goal-directed Execution of Answer Set Programs
- Alexandros Efremidis:
Solving B Constraints with Goal-directed Answer Set Programming. - Alexey Koptsevich, Wolf Ruzicka, Victor Shilo, Mikkel P. Schultz, Dmitrii Velikii:
Building Health Policy Enforcement Solution Based on HL7 FHIR. - Jan Wielemaker, Joaquín Arias, Gopal Gupta:
s(CASP) for SWI-Prolog. - Joaquín Arias, Gopal Gupta, Manuel Carro:
A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. - Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta:
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). - 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:
Formalizing Informal Logic and Natural Language Deductivism. - Elmer Salazar:
Theory Revision with Goal-directed ASP. - Kinjal Basu, Gopal Gupta:
Natural Language Question Answering with Goal-directed Answer Set Programming. - Fang Li, Elmer Salazar, Gopal Gupta:
Graph Based Answer Set Programming Solver Systems. - Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta:
AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning.
Machine Ethics and Explainability
- Laura State:
Logic Programming for XAI: A Technical Perspective.
Probabilistic Logic Programming
- Nico Potyka:
From Probabilistic Programming to Probabilistic Argumentation. - Thomas Eiter, Markus Hecher, Rafael Kiesel:
aspmc: An Algebraic Answer Set Counter. - Felix Weitkämper, Beatrice Sarbu, Kailin Sun:
Modelling Infectious Disease Dynamics with Probabilistic Logic Programming. - Kilian Rueckschloss, Felix Weitkämper:
Reasoning about Independence in Open Universe Probabilistic Logic Programs. - Robert Zinkov, William E. Byrd:
probKanren: A Simple Probabilistic Extension for microKanren.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
