Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

51
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540292081, 9783540319474
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)

2005 ◽  
pp. 37-51 ◽  
Author(s):  
Enrico Giunchiglia ◽  
Marco Maratea
Keyword(s):  
Answer Set

Decision Support for Personalization on Mobile Devices

2005 ◽  
pp. 404-406 ◽  
Author(s):  
Thomas Kleemann ◽  
Alex Sinner
Keyword(s):  
Decision Support ◽  
Mobile Devices

Semantics of Framed Temporal Logic Programs

2005 ◽  
pp. 356-370 ◽  
Author(s):  
Zhenhua Duan ◽  
Xiaoxiao Yang ◽  
Maciej Koutny
Keyword(s):  
Temporal Logic ◽  
Logic Programs

Preference Reasoning

2005 ◽  
pp. 5-8 ◽  
Author(s):  
Francesca Rossi
Keyword(s):  
Preference Reasoning

OWL: A Description Logic Based Ontology Language

2005 ◽  
pp. 1-4 ◽  
Author(s):  
Ian Horrocks
Keyword(s):  
Description Logic ◽  
Ontology Language

Reducing Inductive Definitions to Propositional Satisfiability

2005 ◽  
pp. 221-234 ◽  
Author(s):  
Nikolay Pelov ◽  
Eugenia Ternovska
Keyword(s):  
Propositional Satisfiability ◽  
Inductive Definitions

Hybridization of Genetic Algorithms and Constraint Propagation for the BACP

2005 ◽  
pp. 421-423
Author(s):  
Tony Lambert ◽  
Carlos Castro ◽  
Eric Monfroy ◽  
María Cristina Riff ◽  
Frédéric Saubion
Keyword(s):  
Genetic Algorithms ◽  
Constraint Propagation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document