Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030205270, 9783030205287
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Telco Network Inventory Validation with NoHR

2019 ◽  
pp. 18-31
Author(s):  
Vedran Kasalica ◽  
Ioannis Gerochristos ◽  
José Júlio Alferes ◽  
Ana Sofia Gomes ◽  
Matthias Knorr ◽  
...  

C-ASP: Continuous ASP-Based Reasoning over RDF Streams

2019 ◽  
pp. 45-50
Author(s):  
Thu-Le Pham ◽  
Muhammad Intizar Ali ◽  
Alessandra Mileo

scholarly journals An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots

2019 ◽  
pp. 32-44 ◽  
Author(s):  
Riccardo Bertolucci ◽  
Alessio Capitanelli ◽  
Carmine Dodaro ◽  
Nicola Leone ◽  
Marco Maratea ◽  
...  
Keyword(s):  
Articulated Objects ◽  
Dual Arm

scholarly journals Degrees of Laziness in Grounding

2019 ◽  
pp. 298-311 ◽  
Author(s):  
Richard Taupe ◽  
Antonius Weinzierl ◽  
Gerhard Friedrich

scholarly journals Assessing Arguments with Schemes and Fallacies

2019 ◽  
pp. 61-74
Author(s):  
Pierre Bisquert ◽  
Florence Dupin de Saint-Cyr ◽  
Philippe Besnard

Declarative Local Search for Predicate Logic

2019 ◽  
pp. 340-346
Author(s):  
Tu-San Pham ◽  
Jo Devriendt ◽  
Patrick De Causmaecker
Keyword(s):  
Local Search ◽  
Predicate Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document