Search alternatives:
"logica" » "logics"
"logical" » "logicsl"
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Trakhtenbrot Theorem and Fuzzy Logic -- Descriptive Complexity, Lower Bounds...”
Cover Image
Read Now

2
by Ceri, Stefano, Gottlob, Georg, Tanca, Letizia
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...1 Logic Programming and Databases: An Overview -- 1.1 Logic Programming as Query Language -- 1.2...”
Cover Image
Read Now

4
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...On the saturation principle for a linear temporal logic -- A construction of typed lambda models...”
Cover Image
Read Now

6
by Gottlob, Georg
Published 1997
Springer Berlin Heidelberg
Subjects: “...Logic, Symbolic and mathematical...”
Cover Image
Read Now

7
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Ultrafilter logic and generic reasoning -- Informal rigor and mathematical understanding -- Resolution...”
Cover Image
Read Now

8
Published 2022
Springer International Publishing
Table of Contents: “...Technical Contributions -- Syntactic ASP Forgetting with Forks -- Modal Logic S5 in Answer Set...”
Cover Image
Read Now

9
Published 2015
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

10
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Introductions to description logics -- Answer set programming -- Ontology-based data access with databases.- A...”
Cover Image
Read Now

11
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...On the power of stratified logic programs with value invention for expressing database...”
Cover Image
Read Now

12
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Query by visual example -- Optimization of linear logic programs using counting methods -- Generalized...”
Cover Image
Read Now

13
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- Resolution-based reasoning for fuzzy logic -- Match-time predictability in real-time production systems...”