Search Results - "Logic Programming and Knowledge Representation"
-
1
Authors:
Source: Artificial intelligence (Gen. ed.) 138(1 (2002): 3–38.
info:cnr-pdr/source/autori:Gelfond M., Leone N./titolo:Logic Programming and Knowledge Representation-the A-Prolog Perspective/doi:/rivista:Artificial intelligence (Gen. ed.)/anno:2002/pagina_da:3/pagina_a:38/intervallo_pagine:3–38/volume:138(1Subject Terms: Artificial intelligence, Computer science, Constraint theory, Database systems, Knowledge based systems, Knowledge representation, Mathematical models, Semantics Engineering uncontrolled terms: Answer set programming, Default reasoning, Nonmonotonic reaso, logic programming, Artificial Intelligence, Nonmonotonic reasoning, Answer set programming, Default reasoning, Logic programming, default reasoning, answer set programming, nonmonotonic reasoning
File Description: application/xml
-
2
Authors:
Source: The Journal of Logic Programming. :73-148
Subject Terms: Knowledge representation, Logic, knowledge representation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, declarative logic programming
File Description: application/xml
Access URL: https://www.sciencedirect.com/science/article/pii/0743106694900256
https://asu.pure.elsevier.com/en/publications/logic -programming -and-knowledge -representation
http://www.sciencedirect.com/science/article/pii/0743106694900256
https://dblp.uni-trier.de/db/journals/jlp/jlp19.html#BaralG94
https://core.ac.uk/display/23160995 -
3
Authors:
Source: Journal of Artificial Intelligence Research 80, 475-516 (2024). doi:10.1613/jair.1.15581
Journal of Artificial Intelligence ResearchSubject Terms: 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
File Description: application/pdf
-
4
Authors: Miroslaw Truszczynski
Source: Lecture Notes in Computer Science ISBN: 9783540746089
Access URL: http://www.cs.uky.edu/ai/papers.dir/iclp07-tut.pdf
https://link.springer.com/chapter/10.1007%2F978-3-540-74610-2_6
https://dblp.uni-trier.de/db/conf/iclp/iclp2007.html#Truszczynski07
https://rd.springer.com/chapter/10.1007/978-3-540-74610-2_6
https://www.cs.uky.edu/%7Emirek/stuff/iclp07tut.pdf -
5
Authors: et al.
Contributors: et al.
Source: The Computer Journal. 67:2421-2440
Subject Terms: 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
-
6
Source: Logic Programming ISBN: 9780262291323
-
7
Authors: et al.
Source: Studia Logica. 112:893-932
Subject Terms: 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
-
8
Authors:
Source: Studia Logica. 112:207-248
Subject Terms: 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
File Description: application/xml
-
9
Authors:
Contributors:
Source: 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 LogicaSubject Terms: 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
File Description: application/pdf
-
10
Authors: et al.
Source: Multimedia Tools and Applications. 83:36865-36898
Subject Terms: 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
-
11
Authors:
Source: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :1-13
Subject Terms: 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
Access URL: http://arxiv.org/abs/2304.10381
-
12
Authors:
Source: Annals of Mathematics and Artificial Intelligence. 91:517-536
Subject Terms: 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
File Description: application/pdf
-
13
Authors:
Source: Boletim da Sociedade Paranaense de Matemática, Vol 41 (2022)
Subject Terms: 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
-
14
Authors: van Benthem, J.
Source: Logic Journal of the IGPL. 31:1135-1152
Subject Terms: 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
File Description: application/pdf
Access URL: 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 -
15
Authors:
Source: Mathematical Structures in Computer Science. 32:1205-1233
Subject Terms: 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
File Description: application/xml
-
16
Authors: Tanaka, Koji
Source: Studia Logica: An International Journal for Symbolic Logic, 2001 Jul 01. 68(2), 299-300.
Relation: Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers Jürgen Dix Luís Moniz Pereira Teodor C. Przymusinski
Access URL: https://www.jstor.org/stable/20016314
-
17
Authors:
Source: Mathematical Structures in Computer Science
Subject Terms: 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
File Description: application/pdf
Access URL: https://hdl.handle.net/11250/3049711
-
18
Authors: et al.
Contributors: et al.
Source: Journal of Logic, Language and Information. 31:555-589
Subject Terms: 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
File Description: application/pdf
-
19
Authors: et al.
Source: 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
Subject Terms: 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
-
20
Authors: et al.
Source: Digital.CSIC. Repositorio Institucional del CSIC
instname
Studia LogicaSubject Terms: 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
Full Text Finder
Nájsť tento článok vo Web of Science