650 results on '"Predicate logic"'
Search Results
2. Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits
3. Ancient Indian Logic and Analogy
4. Total Functional Software Engineering : Overview Paper
5. CppIns: A Source Query Language for Instrumentation
6. EM Topological Signaling and Computing
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)
11. Working with multiple logical systems
12. Towards a Self-selective and Self-healing Evaluation
13. Predicate Calculus
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
20. The Logical Process of Model-Based Reasoning
21. Fuzzy Conceptual Graph Programming
22. How to Universally Close the Existential Rule
23. Reachability as Derivability, Finite Countermodels and Verification
24. A Translation from Logic to English with Dynamic Semantics
25. Extending Syllogistic Reasoning
26. When It Helps to Ignore Any Meaning
27. After 1960: Informatics Begins to Take Shape
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
38. Coordinating and Subordinating Dependencies
39. On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition
40. Learning Models of Predicate Logical Theories with Neural Networks Based on Topos Theory
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
45. Tree-Sequent Methods for Subintuitionistic Predicate Logics
46. Syntactic Validation of Web Services Security Policies
47. Semantics and Predicate Logic
48. Mathematical Logic
49. An Introduction to Fuzzy Quantification: Origins and Basic Concepts
50. Capture-Avoiding Substitution as a Nominal Algebra
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.