188 results
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 28 October 2024, pp. 1-19
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 10 October 2024, pp. 1-20
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Metric Temporal Equilibrium Logic over Timed Traces
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 3 / May 2024
- Published online by Cambridge University Press:
- 18 September 2024, pp. 425-452
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Multi-Shot Answer Set Programming for Flexible Payroll Management
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 3 / May 2024
- Published online by Cambridge University Press:
- 02 May 2024, pp. 453-481
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 02 April 2024, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Model Explanation via Support Graphs
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 29 February 2024, pp. 1-14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Epistemic Logic Programs: A Study of Some Properties
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 3 / May 2024
- Published online by Cambridge University Press:
- 05 February 2024, pp. 482-504
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CNL2ASP: Converting Controlled Natural Language Sentences into ASP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 20 December 2023, pp. 196-226
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Human Conditional Reasoning in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 1 / January 2024
- Published online by Cambridge University Press:
- 14 December 2023, pp. 157-192
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 01 September 2023, pp. 812-831
-
- Article
-
- You have access
- HTML
- Export citation
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 26 July 2023, pp. 715-729
-
- Article
-
- You have access
- HTML
- Export citation
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 25 July 2023, pp. 765-781
-
- Article
-
- You have access
- HTML
- Export citation
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 21 July 2023, pp. 848-864
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 21 July 2023, pp. 782-796
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
External Behavior of a Logic Program and Verification of Refactoring
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 18 July 2023, pp. 933-947
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On Program Completion, with an Application to the Sum and Product Puzzle
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 18 July 2023, pp. 664-677
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 10 July 2023, pp. 748-764
-
- Article
-
- You have access
- HTML
- Export citation
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 1 / January 2024
- Published online by Cambridge University Press:
- 22 June 2023, pp. 132-156
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 19 April 2023, pp. 313-343
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 17 April 2023, pp. 344-367
-
- Article
-
- You have access
- Open access
- HTML
- Export citation