Sciweavers

1151 search results - page 11 / 231
» Collaborative Programming: Applications of Logic and Automat...
Sort
View
DLOG
2007
15 years 2 days ago
Actions and Programs over Description Logic Ontologies
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
FLOPS
2008
Springer
14 years 11 months ago
Quantitative Logic Programming Revisited
Mario Rodríguez-Artalejo, Carlos A. Romero-...
CL
2000
Springer
15 years 2 months ago
Multi-dimensional Dynamic Logic Programming
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...
CCL
1994
Springer
15 years 1 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof
ILP
1998
Springer
15 years 2 months ago
Application of Inductive Logic Programming to Discover Rules Governing the Three-Dimensional Topology of Protein Structure
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
Marcel Turcotte, Stephen Muggleton, Michael J. E. ...