Theory and Practice of Logic Programming
Title Titel
Theory and Practice of Logic Programming
e-ISSN
1475-3081
ISSN
1471-0684
Publisher Herausgeber
CAMBRIDGE UNIV PRESS
Publisher's Address Herausgeber Adresse
EDINBURGH BLDG, SHAFTESBURY RD, CAMBRIDGE, ENGLAND, CB2 8RU
Listed in SCI Aufgelistet im SCI
Peer reviewed Begutachtet
Subject
- 1 Conflict-Driven Clause Learning
- 1 Contextual Reasoning
- 1 debugging
- 1 dynamic programming parameterized algorithmics bounded treewidth database systems SQL relational algebra counting
- 1 Epistemic Negation
- 1 External Computation
- 1 f-hybrid knowledge bases
- 1 Forest Logic Programs
- 1 forgetting
- 1 HEX Programs
- < previous next >
Date issued
Results 1-20 of 41 (Search time: 0.004 seconds).