Search alternatives:
descriptive clause » descriptive case, descriptive claims, descriptions clauses
descriptions paper » descriptions papers, description paper, descriptions papetri
descriptions based » description based, descriptors based, descriptor based
Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... with functionality description -- An extension to the human-computer interaction paradigm -- Hierarchical components...”
Cover Image
Read Now

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Horn Clause Computation by Self-assembly of DNA Molecules -- DNA-based Parallel Computation...”
Cover Image
Read Now

3
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between...”
Cover Image
Read Now

4
by Rovine, Arthur W.
Published 2014
Brill
Table of Contents: “.... Domestic Conformity Clauses in Investment Agreements : Their Role and Their Limits -- Chapter 3. Investment...”
Cover Image
Read Now

5
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... of cooperative mobile autonomous agent behaviors -- An extension of explanation-based generalization to negation...”
Cover Image
Read Now

6
Published 1995
Springer Vienna
Table of Contents: “... remarks and background -- 3 Description of the first subscenario -- 4 The logical fibering model -- 5 A...”
Cover Image
Read Now

7
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution...”
Cover Image
Read Now

8
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... for Inducing Threaded-Variable Clauses -- Propositionalisation of Continuous Attributes beyond Simple...”
Cover Image
Read Now

9
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... for Relational Domains -- Full Papers -- Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases...”
Cover Image
Read Now

10
Published 2023
Springer Nature Singapore
Table of Contents: “... Translation Quality Evaluation of Attributive Clauses Based on Faithfulness, Expressiveness and Elegance...”
Cover Image
Read Now

11
Published 2023
Springer Nature Switzerland
Table of Contents: “... by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics...”
Cover Image
Read Now

12
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... algebra and rewrite rules -- System description: similarity-based lemma generation for model elimination...”
Cover Image
Read Now

13
Published 2021
Springer International Publishing
Table of Contents: “... Clause Selection While Learning From History -- System Descriptions -- A Normative Supervisor...”
Cover Image
Read Now

14
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- A Personal View of How Best to Apply ILP -- Agents that Reason and Learn...”
Cover Image
Read Now

15
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Reasoning in Description Logics -- Optimizing a BDD-Based Modal Solver -- A Translation of Looping...”
Cover Image
Read Now

16
Published 2020
Springer International Publishing
Table of Contents: “... (short paper) -- Layered Clause Selection for Theory Reasoning (short paper) -- Non Classical Logics...”
Cover Image
Read Now

17
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Clause Normal Forms -- System Description: E-KRHyper 1.4 Extensions for Unique Names and Description...”
Cover Image
Read Now

18
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...-10 -- Research Papers -- A Model to Study Phase Transition and Plateaus in Relational Learning -- Top...”
Cover Image
Read Now

19
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis -- Does This Set of Clauses Overlap...”
Cover Image
Read Now

20
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Initiative -- Regular Papers -- Semantics for Dynamic Logic Programming: A Principle-Based Approach...”