Search

Your search keyword '"Predicate logic"' showing total 650 results

Search Constraints

Start Over You searched for: Descriptor "Predicate logic" Remove constraint Descriptor: "Predicate logic" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
650 results on '"Predicate logic"'

Search Results

3. Ancient Indian Logic and Analogy

4. Total Functional Software Engineering : Overview Paper

7. Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases

8. BUNDLE: A Reasoner for Probabilistic Ontologies

9. Planning with Effectively Propositional Logic

10. An Algebraic Presentation of Predicate Logic : (Extended Abstract)

12. Towards a Self-selective and Self-healing Evaluation

14. Teaching Experience: Logic and Formal Methods with Coq

15. Exact Incremental Analysis of Timed Automata with an SMT-Solver

16. A Co-inductive Language and Truth Degrees

17. Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies

18. Logic in Action : An Open Logic Courseware Project

19. Automatic Conformance Checking of Role-Based Access Control Policies via Alloy

22. How to Universally Close the Existential Rule

23. Reachability as Derivability, Finite Countermodels and Verification

25. Extending Syllogistic Reasoning

28. Time-Bounded Verification

29. Nested Proof Compilation and Proof Checking in Universal Pattern Logic

30. Quantifier Elimination via Functional Composition

31. Concept Mining with Self-Organizing Maps for the Semantic Web

32. Information Algebra

33. One or Many Concepts of Information?

34. Topic/Subject Coreference in the Hierarchy of Japanese Complex Sentences

35. Using Dependent CORAS Diagrams to Analyse Mutual Dependency

36. Semantics in Data and Knowledge Bases

37. Logic-Free Reasoning in Isabelle/Isar

41. The Logic of Intelligence

42. Foundations of Rule-Based Query Answering

43. Towards Intuitive Spatiotemporal Communication Between Human and Ubiquitous Intelligence Based on Mental Image Directed Semantic Theory — A General Theory of Tempo-logical Connectives —

44. Formal Analysis of Secure Bootstrap in Trusted Computing

46. Syntactic Validation of Web Services Security Policies

47. Semantics and Predicate Logic

50. Capture-Avoiding Substitution as a Nominal Algebra

Catalog

Books, media, physical & digital resources