Original Article
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
-
- Published online by Cambridge University Press:
- 02 December 2019, pp. 80-124
-
- Article
- Export citation
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language $p{\cal BC}$+
-
- Published online by Cambridge University Press:
- 23 December 2020, pp. 348-371
-
- Article
- Export citation
Rapid Communication
Interactive Text Graph Mining with a Prolog-Based Dialog Engine
-
- Published online by Cambridge University Press:
- 07 October 2020, pp. 244-263
-
- Article
- Export citation
Original Article
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
-
- Published online by Cambridge University Press:
- 27 September 2021, pp. 557-574
-
- Article
- Export citation
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
-
- Published online by Cambridge University Press:
- 05 November 2021, pp. 575-592
-
- Article
- Export citation
Technical Note
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
-
- Published online by Cambridge University Press:
- 03 March 2021, pp. 264-282
-
- Article
- Export citation
Original Article
Completing the Picture: Complexity of Graded Modal Logics with Converse
-
- Published online by Cambridge University Press:
- 27 April 2021, pp. 493-520
-
- Article
-
- You have access
- Open access
- Export citation
Solution Enumeration by Optimality in Answer Set Programming
-
- Published online by Cambridge University Press:
- 10 September 2021, pp. 750-767
-
- Article
-
- You have access
- Open access
- Export citation
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
-
- Published online by Cambridge University Press:
- 14 December 2020, pp. 372-401
-
- Article
- Export citation
VeriFly: On-the-fly Assertion Checking via Incrementality
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 768-784
-
- Article
- Export citation
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
-
- Published online by Cambridge University Press:
- 05 November 2021, pp. 593-609
-
- Article
-
- You have access
- Open access
- Export citation
Book Review
Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8
-
- Published online by Cambridge University Press:
- 10 June 2020, pp. 283-290
-
- Article
- Export citation
Original Article
FOLASP: FO(·) as Input Language for Answer Set Solvers
-
- Published online by Cambridge University Press:
- 19 November 2021, pp. 785-801
-
- Article
- Export citation
I-DLV-sr: A Stream Reasoning System based on I-DLV
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 610-628
-
- Article
- Export citation
Corrigendum
A general framework for static profiling of parametric resource usage – CORRIGENDUM
-
- Published online by Cambridge University Press:
- 11 November 2020, p. 291
-
- Article
-
- You have access
- Export citation
Original Article
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 802-817
-
- Article
-
- You have access
- Open access
- Export citation
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
-
- Published online by Cambridge University Press:
- 23 September 2021, pp. 629-645
-
- Article
-
- You have access
- Open access
- Export citation
Erratum
Omission-based Abstraction for Answer Set Programs – ERRATUM
-
- Published online by Cambridge University Press:
- 09 July 2020, p. 292
-
- Article
-
- You have access
- Open access
- Export citation
Original Article
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
-
- Published online by Cambridge University Press:
- 27 September 2021, pp. 646-662
-
- Article
-
- You have access
- Open access
- Export citation
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture
-
- Published online by Cambridge University Press:
- 02 November 2021, pp. 818-834
-
- Article
-
- You have access
- Open access
- Export citation