Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation
1. Verfasser:	Arias, Joaquín (VerfasserIn)
Weitere Verfasser:	Chen, Zhuo (VerfasserIn), Carro, Manuel (VerfasserIn), Gupta, Gopal (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Incremental Analysis of Logic Programs with Assertions and Open Predicates	2020	Garcia-Contreras, Isabel
Computing Abstract Distances in Logic Programs	2020	Casso, Ignacio
A Certified Functional Nominal C-Unification Algorithm	2020	Ayala-Rincón, Mauricio
An Integrated Approach to Assertion-Based Random Testing in Prolog	2020	Casso, Ignacio
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming	2020	Arias, Joaquín
A Port Graph Rewriting Approach to Relational Database Modelling	2020	Fernández, Maribel
Semi-inversion of Conditional Constructor Term Rewriting Systems	2020	Kirkeby, Maja Hanne
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics	2020	Cousot, Patrick
Verified Construction of Fair Voting Rules	2020	Diekhoff, Karsten
Solving Proximity Constraints	2020	Kutsia, Temur
The Prolog Debugger and Declarative Programming	2020	Drabent, Wlodzimierz
Generalization-Driven Semantic Clone Detection in CLP	2020	Vanhoof, Wim
A General Framework for Static Cost Analysis of Parallel Logic Programs	2020	Klemen, Maximiliano
Synthesizing Imperative Code from Answer Set Programming Specifications	2020	Varanasi, Sarat Chandra
Trace Analysis Using an Event-Driven Interval Temporal Logic	2020	Gallardo, María-del-Mar