Výsledky vyhledávání - "Logic Programming and Knowledge Representation"
-
1
Autoři:
Zdroj: Journal of Artificial Intelligence Research 80, 475-516 (2024). doi:10.1613/jair.1.15581
Journal of Artificial Intelligence ResearchTémata: FOS: Computer and information sciences, Computer Science - Artificial Intelligence, Computer Networks and Communications, Artificial Intelligence Planning and Reasoning, Distributed Constraint Optimization Problems and Algorithms, Epistemology, 0102 computer and information sciences, 02 engineering and technology, Polynomial, Mathematical analysis, 01 natural sciences, Bounded function, Artificial Intelligence, Logic Programming and Knowledge Representation, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Scope (computer science), Spatial Reasoning, Domain (mathematical analysis), Discrete Mathematics, Exponential function, Semantics (computer science), Discrete mathematics, Diskret matematik, Computer science, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Artificial Intelligence (cs.AI), Computer Science, Physical Sciences, Simple (philosophy), Tuple, Mathematics
Popis souboru: application/pdf
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: The Computer Journal. 67:2421-2440
Témata: Cognitive science, Artificial intelligence, Data Stream Management Systems and Techniques, Computer Networks and Communications, Column-oriented Database Systems, 0102 computer and information sciences, Epistemic modal logic, Epistemology, Multimodal logic, 0603 philosophy, ethics and religion, 01 natural sciences, 7. Clean energy, Description Logics, Model Checking, Epistemic Logic, Logic Programming and Knowledge Representation, Artificial Intelligence, Psychology, [INFO]Computer Science [cs], 4. Education, 06 humanities and the arts, Computer science, FOS: Philosophy, ethics and religion, Description logic, FOS: Psychology, Philosophy, Distributed Systems, Computer Science, Physical Sciences, Distributed Fault Tolerance and Consistency in Systems
-
3
Autoři: a další
Zdroj: Studia Logica. 112:893-932
Témata: Interpretation (philosophy), Nonmonotonic Reasoning, Abstract Interpretation, Generalization, Linguistics, Epistemology, Computer science, FOS: Philosophy, ethics and religion, Programming language, 3. Good health, Epistemic Logic, Philosophy, Reading (process), Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, FOS: Languages and literature, Program Analysis and Verification Techniques, Modal Logics
-
4
Autoři:
Zdroj: Studia Logica. 112:207-248
Témata: logic of content relationship, Geometry, Set (abstract data type), Computational linguistics, Mathematical logic and foundations, 0603 philosophy, ethics and religion, Mathematical analysis, 01 natural sciences, Description Logics, 12. Responsible consumption, Epistemic Logic, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, set-assignment semantics, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, Content (measure theory), 0101 mathematics, 10. No inequality, Axiom, relating semantics, Nonmonotonic Reasoning, Natural language processing, Physics, Semantics (computer science), Optics, Boolean connexive logic, 06 humanities and the arts, Focus (optics), Computer science, Programming language, 3. Good health, Computational Theory and Mathematics, Constraint Logic Programming, Computer Science, Physical Sciences, Semantic Web and Ontology Development, Mathematics
Popis souboru: application/xml
Přístupová URL adresa: https://zbmath.org/7830168
https://doi.org/10.1007/s11225-023-10058-1 -
5
Autoři:
Přispěvatelé:
Zdroj: e-spacio. Repositorio Institucional de la UNED
Universidad Nacional de Educación a Distancia
e-spacio (DSpace). Repositorio Institucional de la UNED
instname
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
Studia LogicaTémata: REPRESENTATION, representation, 72 Filosofía, Heyting algebra, 02 engineering and technology, 01 natural sciences, Logic Programming and Knowledge Representation, 0202 electrical engineering, electronic engineering, information engineering, weak Heyting algebras, FRAGMENTS, Nonmonotonic Reasoning, intuitionistic modal algebras, TOPOLOGICAL DUALITY, topological duality, Statistics, Algebraic Semantics, Discrete mathematics, 16. Peace & justice, NUCLEAR HEYTING ALGEBRAS, Chemistry, Computational Theory and Mathematics, Physical Sciences, Modal operator, Modal Logics, Distributive property, Variety (cybernetics), IMPLICATIVE SEMILATTICES, QUASI-NELSON ALGEBRAS, Intuitionistic logic, Artificial Intelligence, fragments, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, Algebraic structure, quasi-Nelson algebras, Polymer chemistry, WEAK HEYTING ALGEBRAS, 0101 mathematics, Algebra over a field, implicative semilattices, NUCLEI, Modal logic, Pure mathematics, nuclear Heyting algebras, Propositional calculus, Duality (order theory), nuclei, Computer Science, INTUITIONISTIC MODAL ALGEBRAS, Modal, Sheaf, Mathematics
Popis souboru: application/pdf
-
6
Autoři: a další
Zdroj: Multimedia Tools and Applications. 83:36865-36898
Témata: Artificial intelligence, Abstract Interpretation, Commutative property, 0102 computer and information sciences, 02 engineering and technology, Poaceae, 01 natural sciences, Theoretical computer science, Context (archaeology), Artificial Intelligence, Logic Programming and Knowledge Representation, State (computer science), Automated theorem proving, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Conjecture, Biology, Parsing, Ecology, Computer graphics (images), Paleontology, Reachability, Animation, Discrete mathematics, Computer science, Rule-based machine translation, Programming language, Lemma (botany), Computational Theory and Mathematics, FOS: Biological sciences, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Mathematics, Formal Methods in Software Verification and Control
-
7
Autoři:
Zdroj: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :1-13
Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial intelligence, Class (philosophy), Computer Science - Artificial Intelligence, Geometry, Decidability, Converse, Description Logics, PSPACE, Theoretical computer science, Engineering, Computer Science - Databases, Logic Programming and Knowledge Representation, Artificial Intelligence, FOS: Mathematics, Bisimulation, Satisfiability, Databases (cs.DB), Expressive power, Discrete mathematics, Computer science, Logic in Computer Science (cs.LO), Computational complexity theory, Algorithm, Artificial Intelligence (cs.AI), Aerospace engineering, Computational Theory and Mathematics, Combinatorics, Time complexity, Computer Science, Physical Sciences, Tree (set theory), EXPTIME, Intersection (aeronautics), Semantic Web and Ontology Development, Mathematics, Formal Methods in Software Verification and Control
Přístupová URL adresa: http://arxiv.org/abs/2304.10381
-
8
Autoři:
Zdroj: Annals of Mathematics and Artificial Intelligence. 91:517-536
Témata: Relation (database), Artificial intelligence, Social Sciences, Bipolar abstract argumentation, Business, Management and Accounting, Argumentation theory, Epistemology, Formal Methods, Argumentation framework, Management Information Systems, Theoretical computer science, Computer Systems, Artificial Intelligence, Logic Programming and Knowledge Representation, Probabilistic argumentation, FOS: Mathematics, Degree (music), Data mining, Probabilistic logic, Nonmonotonic Reasoning, Argumentation Frameworks, Extension (predicate logic), Physics, Uncertainty, Workflow Mining and Business Process Management, Semantics (computer science), Acoustics, Computer science, FOS: Philosophy, ethics and religion, Programming language, Causality, Credal networks, Datorsystem, Methods and Techniques for Agent-Based Modeling, Philosophy, Bayesian network, Computer Science, Physical Sciences, Dialectical Argumentation, Mathematics
Popis souboru: application/pdf
Přístupová URL adresa: http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-209296
-
9
Autoři:
Zdroj: Boletim da Sociedade Paranaense de Matemática, Vol 41 (2022)
Témata: Rough Sets Theory and Applications, FOS: Political science, Generalization, Set (abstract data type), FOS: Law, Mathematical analysis, Description Logics, 12. Responsible consumption, Logic Programming and Knowledge Representation, Artificial Intelligence, Fuzzy Logic and Residuated Lattices, 11. Sustainability, QA1-939, FOS: Mathematics, Political science, Linear subspace, Physics, Pure mathematics, Optics, Discrete mathematics, Focus (optics), 16. Peace & justice, Computer science, Programming language, Computational Theory and Mathematics, Computer Science, Physical Sciences, Closure (psychology), Law, Mathematics
Přístupová URL adresa: https://doaj.org/article/9a58f33ceec4455da5a914ed168b414a
-
10
Autoři: van Benthem, J.
Zdroj: Logic Journal of the IGPL. 31:1135-1152
Témata: Cognitive science, Artificial intelligence, Meaning (existential), Epistemology, 06 humanities and the arts, 15. Life on land, 0603 philosophy, ethics and religion, 16. Peace & justice, Computer science, 7. Clean energy, Description Logics, FOS: Philosophy, ethics and religion, FOS: Psychology, Philosophy, Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, 13. Climate action, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, Psychology, Program Analysis and Verification Techniques, Modal Logics
Popis souboru: application/pdf
Přístupová URL adresa: https://dare.uva.nl/personal/pure/en/publications/the-
logic -of-conditionals-on-outback-trails(2a3f1c4f-1212-4eed-ad30-c4f0e7533965).html
https://doi.org/10.1093/jigpal/jzac064
https://hdl.handle.net/11245.1/2a3f1c4f-1212-4eed-ad30-c4f0e7533965 -
11
Autoři:
Zdroj: Mathematical Structures in Computer Science. 32:1205-1233
Témata: Artificial intelligence, Separation Logic, Mathematical proof, Rule of inference, 01 natural sciences, Sequent calculus, Proof calculus, Constructive proof, Logic Programming and Knowledge Representation, Axiom, Nonmonotonic Reasoning, Discrete mathematics, 16. Peace & justice, Programming language, Chemistry, sequent calculus, Physical Sciences, Medicine, Musical, Program Analysis and Verification Techniques, Calculus (dental), Modal logic (including the logic of norms), Modal Logics, Semantic Web and Ontology Development, Art, Natural deduction, Formalism (music), Axiomatic system, Geometry, 0102 computer and information sciences, constructive modal logic, Description Logics, Visual arts, Sequent, Artificial Intelligence, Temporal Logic, FOS: Mathematics, Coq, Polymer chemistry, 0101 mathematics, formal verification, Modal logic, FOS: Clinical medicine, Proof theory, cut elimination, Computer science, Constructive, Process (computing), Cut-elimination theorem, dual-context systems, Dentistry, Computer Science, Cut-elimination and normal-form theorems, Modal, Mathematics
Popis souboru: application/xml
Přístupová URL adresa: https://zbmath.org/7676413
https://doi.org/10.1017/s0960129522000378 -
12
Autoři:
Zdroj: Mathematical Structures in Computer Science
Témata: Høyere kategoriteori, Geometry, Hoare logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Description Logics, VDP::Mathematics and natural scienses: 400, Artificial Intelligence, Logic Programming and Knowledge Representation, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Axiom, VDP::Matematikk og naturvitenskap: 400, Language-based Information Flow Security, Denotational semantics, Separation logic, Algebra over a field, Axiomatic semantics, Pure mathematics, Semantics (computer science), Computer science, Higher category theory, Programming language, Matematikk og naturvitenskap: 400 [VDP], Mathematics and natural scienses: 400 [VDP], Hoare logikk, Mathematical logic, Computer Science, Physical Sciences, Operational semantics, Matematisk logikk, Program Analysis and Verification Techniques, Correctness, Mathematics
Popis souboru: application/pdf
Přístupová URL adresa: https://hdl.handle.net/11250/3049711
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: Journal of Logic, Language and Information. 31:555-589
Témata: Cognitive science, Artificial intelligence, Dynamics of knowledge, Argumentation theory, Argumentation Theory, Belief revision, Dynamics of knowledge, Knowledge representation, Reasoning, Epistemology, 02 engineering and technology, Defeasible reasoning, 0603 philosophy, ethics and religion, Model Checking, Faculdade de Ciências Exatas e da Engenharia, Belief Revision, Engineering, Logic Programming and Knowledge Representation, Artificial Intelligence, Belief revision, Argumentation, 0202 electrical engineering, electronic engineering, information engineering, Psychology, Theory, Defeasible estate, Nonmonotonic Reasoning, Argumentation Frameworks, Reasoning, 06 humanities and the arts, Computer science, Management science, FOS: Philosophy, ethics and religion, FOS: Psychology, Methods and Techniques for Agent-Based Modeling, Philosophy, Knowledge representation, Computer Science, Physical Sciences, Semantic Web and Ontology Development
Popis souboru: application/pdf
-
14
Autoři: a další
Zdroj: Papacchini, F, Nalon, C, Hustadt, U & Dixon, C 2022, '"Local is Best: Efficient Reductions to Modal Logic K"', Journal of Automated Reasoning. https://doi.org/10.1007/s10817-022-09630-6
Témata: Nonmonotonic Reasoning, 4. Education, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Algorithm, Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Constraint Logic Programming, Temporal Logic, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Program Analysis and Verification Techniques, Modal Logics, Mathematics
-
15
Autoři: a další
Zdroj: Digital.CSIC. Repositorio Institucional del CSIC
instname
Studia LogicaTémata: FOS: Computer and information sciences, Rough Sets Theory and Applications, Artificial intelligence, Computer Science - Artificial Intelligence, Mathematics - Logic, 0102 computer and information sciences, 02 engineering and technology, Computer science, 01 natural sciences, Description Logics, Algorithm, Artificial Intelligence (cs.AI), Computational Theory and Mathematics, Fuzzy Logic, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, Fuzzy Logic and Residuated Lattices, Computer Science, Physical Sciences, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Epistemic logics | Many-valued modal logics | Possibilistic semantics, Logic (math.LO), Modal Logics
-
16
Autoři:
Zdroj: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial intelligence, Logic, Linear logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Quantum mechanics, computer science - logic in computer science, Simply typed lambda calculus, Theoretical computer science, Engineering, Artificial Intelligence, Logic Programming and Knowledge Representation, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Encoding (memory), Lambda calculus, Nonmonotonic Reasoning, BC1-199, Determinism, Typed lambda calculus, Physics, FOS: Clinical medicine, Pi calculus, QA75.5-76.95, Church encoding, Computer science, Logic in Computer Science (cs.LO), Programming language, Algorithm, Aerospace engineering, Computational Theory and Mathematics, Constraint Logic Programming, Electronic computers. Computer science, Dentistry, Computer Science, Physical Sciences, Medicine, Program Analysis and Verification Techniques, Correctness, Intersection (aeronautics), Calculus (dental), Dependent type, Mathematics, Formal Methods in Software Verification and Control
Popis souboru: application/pdf
-
17
Autoři: Miguel Álvarez Lisboa
Zdroj: Tesis (Lima), Vol 14, Iss 19, Pp 677-696 (2021)
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y TécnicasTémata: DIALÓGICA, SEMÁNTICAS LÚDICO-TEÓRICAS, Arts in general, ANTIEXCEPCIONALISMO, PROBLEMA DE LA ADOPCIÓN, Social Sciences, Experimental and Cognitive Psychology, teoría constructiva de tipos, 0603 philosophy, ethics and religion, problema de la adopción, NX1-820, 01 natural sciences, Epistemic Logic, Humanities, Logic Programming and Knowledge Representation, Artificial Intelligence, AZ20-999, Fuzzy Logic and Residuated Lattices, Psychology, semánticas lúdico-teóricas, 0101 mathematics, PN1-6790, TEORÍA CONSTRUCTIVA DE TIPOS, antiexcepcionalismo, FOS: Humanities, 06 humanities and the arts, FOS: Philosophy, ethics and religion, FOS: Psychology, Philosophy, Computational Theory and Mathematics, Computer Science, Physical Sciences, dialógica, History of scholarship and learning. The humanities, Literature (General), Consciousness and Phenomenal Experience
Popis souboru: application/pdf
Přístupová URL adresa: https://doaj.org/article/e53a88b7702d4bce83052053146d7abf
http://hdl.handle.net/11336/212525 -
18
Autoři:
Zdroj: Journal of Philosophical Logic. 51:1261-1293
Témata: Artificial intelligence, Separation Logic, Economics, Abstract Interpretation, 0603 philosophy, ethics and religion, 01 natural sciences, Description Logics, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Hierarchy, Classical logic, Market economy, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, 0101 mathematics, Nonmonotonic Reasoning, Mathematical economics, Semantics (computer science), 06 humanities and the arts, Computer science, Programming language, Computational Theory and Mathematics, Constraint Logic Programming, Combinatorics, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Transitive relation, Mathematics
Popis souboru: application/pdf
Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007/s10992-021-09630-8.pdf
https://dare.uva.nl/personal/pure/en/publications/deep-st(34766b9c-1eab-4fa0-8631-5974d3de2997).html
https://doi.org/10.1007/s10992-021-09630-8
https://hdl.handle.net/11245.1/34766b9c-1eab-4fa0-8631-5974d3de2997 -
19
Autoři: Axel Arturo Barceló Aspeitia
Zdroj: Cuadernos de Lingüística de El Colegio de México, Vol 8 (2021)
Universidad Nacional Autónoma de México
UNAM
Redalyc-UNAM
Cuadernos de Lingüística de El Colegio de México (México) Vol.8Témata: Numerales, P1-1091, plurales, 0603 philosophy, ethics and religion, Pluralidad, Lengua y Literatura, Humanities, Colectividad, Artificial Intelligence, Logic Programming and Knowledge Representation, Fuzzy Logic and Residuated Lattices, Philology. Linguistics, Nonmonotonic Reasoning, colectividad, FOS: Humanities, Linguistics, Semántica, 06 humanities and the arts, Distributividad, Plural, FOS: Philosophy, ethics and religion, Philosophy, Computational Theory and Mathematics, Computer Science, Physical Sciences, 0602 languages and literature, FOS: Languages and literature, numerales, Program Analysis and Verification Techniques, distributividad, Art
Popis souboru: application/pdf
Přístupová URL adresa: https://cuadernoslinguistica.colmex.mx/index.php/cl/article/download/137/288
https://doaj.org/article/c1a494ae4a43455382fb3fd8efef2590
https://ojs3.colmex.mx/index.php/cl/article/view/137
https://cuadernoslinguistica.colmex.mx/index.php/cl/article/view/137
https://www.redalyc.org/articulo.oa?id=525967204007 -
20
Autoři: Fabián Bernache Maldonado
Zdroj: Cogency. 13:7-34
Témata: Moral Distress in Healthcare Professionals, Social Sciences, Health Professions, FOS: Law, FOS: Humanities, Epistemology, A priori and a posteriori, Assessment of Legal Evidence in Judicial Proceedings, Description Logics, FOS: Philosophy, ethics and religion, Humanities, Philosophy, Logic Programming and Knowledge Representation, Artificial Intelligence, General Health Professions, Health Sciences, Computer Science, Physical Sciences, Law
Full Text Finder
Nájsť tento článok vo Web of Science