Stop the war!Остановите войну!
for scientists:
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 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.
a service of 
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 2024-08-29 20:46 CEST 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:
