Cover Image
Read Now

181
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Improving On-Demand Strategy Annotations -- First-Order Logic as a Constraint Programming Language...”
Cover Image
Read Now

182
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... for Software Product Line Engineering -- Using First-Order Logic for Product Line Model Validation -- Product...”
Cover Image
Read Now

183
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... of first-order logic proof systems in HOL -- Exploiting parallelism in interactive theorem provers -- I/O...”
Cover Image
Read Now

184
Published 2023
Springer Nature Switzerland
Table of Contents: “... for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness...”
Cover Image
Read Now

185
Published 1979
Springer Netherlands
Table of Contents: “... -- Singular Terms, Existence and Truth: Some Remarks on a First Order Logic of Existence -- VIII Truthlikeness...”
Cover Image
Read Now

186
Published 2018
Springer International Publishing
“... representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational...”
Cover Image
Read Now

187
Published 2018
Springer International Publishing
“... representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational...”
Cover Image
Read Now

188
by Fuller, Robert
Published 2000
Physica-Verlag HD
“...­ resentating the meaning of fuzzy concepts. As a consequence, the approaches based on first order logic...”
Cover Image
Read Now

189
by Pasniczek, Jacek
Published 1998
Springer Netherlands
“... logic of intentional objects, M-logic. M-logic closely resembles classical first-order logic...”
Cover Image
Read Now

190
by Schöning, Uwe
Published 2008
Birkhäuser
“... scientists. This is a short introductory book on the topic of propositional and first-order logic, with a...”
Cover Image
Read Now

191
Published 2020
Springer International Publishing
“... formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning...”
Cover Image
Read Now

192
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Simple Theory of Types -- A Simple Sequent System for First-Order Logic with Free Constructors -- linTAP...”
Cover Image
Read Now

193
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Extraction -- Automatic Induction of First-Order Logic Descriptors Type Domains from Observations...”
Cover Image
Read Now

194
by Thielscher, Michael
Published 2005
Springer Netherlands
“.... The mathematical model, known as the "Fluent Calculus,'' describes how to use classical first-order logic to set up...”
Cover Image
Read Now

195
by Badia, Antonio
Published 2009
Springer US
“... is dealt with in SQL. It is well known that most query languages are simply versions of First Order Logic...”
Cover Image
Read Now

196
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...-Order Logic and Application to Cryptographic Protocols -- An E-unification Algorithm for Analyzing...”
Cover Image
Read Now

197
by Dahlgren, Kathleen
Published 1988
Springer US
“..., and builds no special representation language (other than elements of first-order logic). The idea...”
Cover Image
Read Now

198
Published 1983
Springer Netherlands
“... discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate...”
Cover Image
Read Now

199
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... order logic -- Automatic verification of asynchronous circuits -- Mathematics as programming...”
Cover Image
Read Now

200
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Networks to Direct Stochastic Search in Inductive Logic Programming -- Revising First-Order Logic Theories...”