Search Results - "Computational Logic"
-
1
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Cyber-Physical Systems. 9:1-35
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, System-level design, Contracts, 02 engineering and technology, [INFO] Computer Science [cs], Computational logic, Assume-guarantee reasoning
File Description: application/pdf
-
2
-
3
Authors: Keçeci, Mehmet
Subject Terms: Graph Visualization, Computational Logic, Automated Reasoning, Data Visualization, Hamiltonian Cycle, Z3 Theorem Prover, Z3, Keçeci Layout, CSP, Graph Layout Algorithms, Declarative Programming, Graph Theory, Symbolic Computation, Constraint Satisfaction Problem, NP-Complete Problems, SMT Solver
-
4
Authors: et al.
Source: IEEE Transactions on Control of Network Systems. 11:1262-1274
-
5
Authors: Chan, Jhet
Subject Terms: FOS: Computer and information sciences, Formal Logic, Computational Logic, Axiomatic Systems, Logic in Computer Science, F.4.1, F.4.2, F.4.3, D.3.1, Meta-theorem systems, 03B70, 68Q42, Lean 4, Recursive architectures, Logic in Computer Science (cs.LO), Symbolic AI, Self-reflective systems, Self-reference, Artificial Intelligence, Consciousness modeling, Computer Science, Emergent Cognition, Programming Languages, Gödel, Symbolic Reasoning, Programming Languages (cs.PL)
Access URL: http://arxiv.org/abs/2509.16239
-
6
Authors: Valerevich MF
Subject Terms: Knowledge representation and reasoning, Distributed systems and algorithms, Computational logic and formal languages, Data structures and algorithms, Mathematical logic, set theory, lattices and universal algebra, Logic, Reasoning, algorithm
-
7
Authors: Valerevich MF
Subject Terms: Knowledge representation and reasoning, Distributed systems and algorithms, Computational logic and formal languages, Data structures and algorithms, Mathematical logic, set theory, lattices and universal algebra, Logic, Reasoning, algorithm
Relation: https://figshare.com/articles/presentation/Logic_syllogistic_reasoning_algorithms_V4/28828598
-
8
Authors: Bolter, Barry Brian
Contributors: Bolter, Barry Brian
Subject Terms: Recursive zero, Double zero (00), Mathematical abstraction, Logic boundary, Structural recursion, Formal systems, Zero asymmetry, Automata theory, Computational logic, Recursive computation, Meta-neutral element, Type theory, Recursive mathematics, Non-standard number systems, Closure and abstraction, Symbolic logic, Foundations of Mathematics, Logic and Set Theory, Number Theory (Non-standard number systems), Formal Languages and Automata Theory, Theory of Computation, Programming Languages (Semantics, Type Systems), Philosophy of Mathematics, Ontology of Abstraction, Symbolic Reasoning, Recursive Representation Models
Relation: https://zenodo.org/records/15667175; oai:zenodo.org:15667175; https://doi.org/10.5281/zenodo.15667175
-
9
Authors: Patterson, William
Subject Terms: Logic, Quantum Logic, Type Theory, Paradox, Foundations of Mathematics, Metalogic, Philosophy of Logic, Computational science, Computational Logic, Reasoning, Functorial Thinking, Computational topology
Relation: https://zenodo.org/records/15541944; oai:zenodo.org:15541944; https://doi.org/10.5281/zenodo.15541944
-
10
Authors: Mehmet Keçeci
Subject Terms: Computer graphics, Graph Visualization, Hamiltonian Cycle, Z3 Theorem Prover, SMT Solver, Constraint Satisfaction Problem, CSP, Graph Theory, Graph Layout Algorithms, Keçeci Layout, Declarative Programming, Symbolic Computation, NP-Complete Problems, Computational Logic, Automated Reasoning, Data Visualization
-
11
Authors: Paola Di Maio
Subject Terms: Knowledge representation and reasoning, Artificial intelligence not elsewhere classified, Knowledge and information management, Computational logic and formal languages, Truth maintenance systems, knowledge representation learning
-
12
Authors: Michael Neuberger
Subject Terms: Social theory, Other human society not elsewhere classified, Evolutionary computation, Knowledge representation and reasoning, Modelling and simulation, Natural language processing, Planning and decision making, Speech production, Speech recognition, Artificial intelligence not elsewhere classified, Multimodal analysis and synthesis, Distributed systems and algorithms, Information systems philosophy, research methods and theory, Human information behaviour, Human information interaction and retrieval, Social and community informatics, Coding, information theory and compression, Computational complexity and computability, Computational logic and formal languages, Quantum computation, Philosophy of cognition, Philosophy of language, human-AI comparison, human-AI partnership, human-AI cooperation, human-AI collaboration Safety, human-AI co-creation, human-AI synergy
-
13
Authors:
Subject Terms: Formal methods for software, Computational logic and formal languages, Applied mathematics not elsewhere classified, Numerical and computational mathematics not elsewhere classified, Algebra and number theory, Mathematical logic, set theory, lattices and universal algebra, Pure mathematics not elsewhere classified, Logic, Symmetric Dual Arithmetic, Anti-Zero, Omega Element, Abstract Algebra, Semiring Theory, Duality Involution, Order Theory, Lattice Theory, Bounded Arithmetic, Saturation Arithmetic, Algebraic Structures, Mathematical Formalization
-
14
Authors: Gopal, Тadepalli
Source: Innovative STEM Education. 5:7-12
Subject Terms: Computational Logic, Design, Geometry, Formal Verification, Simplification
Access URL: https://hdl.handle.net/10525/4483
-
15
Authors:
Contributors:
-
16
Authors: Jhet, Chan
Subject Terms: Gödel, Self-reference, Recursive architectures, Symbolic AI, Emergent Cognition, Axiomatic Systems, Formal Logic, Meta-theorem systems, Lean 4, Consciousness modeling, Self-reflective systems, Computer Science, Artificial Intelligence, Symbolic Reasoning, Computational Logic
Relation: https://zenodo.org/records/15854064; oai:zenodo.org:15854064; https://doi.org/10.5281/zenodo.15854064
-
17
Authors: Ednyashev, Sanal
Subject Terms: Riemann Hypothesis, CNF, Logic, SAT, Formal Proof, Zeta Function, Lean, Mathematics, Computational Logic
Relation: https://zenodo.org/records/15117722; oai:zenodo.org:15117722; https://doi.org/10.5281/zenodo.15117722
-
18
Authors: Ednyashev, Sanal
Subject Terms: Riemann Hypothesis, CNF, Logic, SAT, Formal Proof, Zeta Function, Lean, Mathematics, Computational Logic
Relation: https://zenodo.org/records/15117214; oai:zenodo.org:15117214; https://doi.org/10.5281/zenodo.15117214
-
19
Authors: Sanal
Subject Terms: Riemann Hypothesis, CNF, Logic, SAT, Formal Proof, Zeta Function, Lean, Mathematics, Computational Logic
Relation: https://zenodo.org/records/15086042; oai:zenodo.org:15086042; https://doi.org/10.5281/zenodo.15086042
-
20
Authors: Sanal
Subject Terms: Riemann Hypothesis, CNF, Logic, SAT, Formal Proof, Zeta Function, Lean, Mathematics, Computational Logic
Relation: https://zenodo.org/records/15081612; oai:zenodo.org:15081612; https://doi.org/10.5281/zenodo.15081612
Full Text Finder 
Nájsť tento článok vo Web of Science