Search Results - "Logic programming semantics"
-
1
Authors:
Source: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. :4544-4552
-
2
Authors:
Subject Terms: FOS: Computer and information sciences, Logic in Computer Science, Logic in Computer Science (cs.LO)
Access URL: http://arxiv.org/abs/2507.11961
-
3
Authors: et al.
Source: Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment. 19:295-305
-
4
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy
PDF Full Text ePub Full Text -
5
Authors: et al.
Source: Machine Learning. 111:123-145
-
6
Authors: et al.
Contributors: et al.
Source: International Journal of Approximate Reasoning. 58:87-111
Subject Terms: QA75, Abstract argumentation semantics, QA75 Electronic computers. Computer science, EP/J012084/1, 0102 computer and information sciences, 02 engineering and technology, abstract argumentation semantics, 01 natural sciences, 102031 Theoretische Informatik, Engineering and Physical Sciences Research Council (EPSRC), 102031 Theoretical computer science, 0202 electrical engineering, electronic engineering, information engineering, Logic programming semantics, logic programming semantics
File Description: application/pdf
-
7
Authors: Fabrizio Riguzzi
Source: Electronic Proceedings in Theoretical Computer Science. 364
-
8
Authors:
Source: Theory and Practice of Logic Programming. 5:93-121
Subject Terms: ddc:004, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Databases and Information Systems, Bioinformatics, Computer Science - Artificial Intelligence, Programming Semantics, OS and Networks, Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, Social and Behavioral Sciences, Science and Technology Studies, Logic programming, 01 natural sciences, Fitting semantics, Physical Sciences and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, weak stratification, least model seman tics, I.2.4, Computer Sciences, D.1.6, Communication, DATA processing & computer science, Life Sciences, stable semantics, Logic Programming Semantics, well-founded semantics, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), F.4.1, Communication Technology and New Media, level mapping
File Description: application/xml; application/pdf
Access URL: http://arxiv.org/pdf/cs/0210027
http://arxiv.org/abs/cs/0210027
https://www.cambridge.org/core/journals/theory-and-practice-of-logic -programming /article/uniform-approach-to-logic -programming -semantics /3E764B8E8721096701C35A304DFAFF6B
https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1044&context=cse
https://corescholar.libraries.wright.edu/cse/45/
https://dblp.uni-trier.de/db/journals/corr/corr0210.html#cs-AI-0210027
http://ui.adsabs.harvard.edu/abs/2002cs.......10027H/abstract
http://www.journals.cambridge.org/abstract_S1471068404002212 -
9
Authors:
Contributors:
Subject Terms: Logic, Mathematical Programming, Semantics, Mathematics
File Description: application/pdf
-
10
Authors: Maher, Michael J.
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, D.3.1, 0202 electrical engineering, electronic engineering, information engineering, 68N17, 0102 computer and information sciences, 02 engineering and technology, F.3.1, 01 natural sciences, Logic in Computer Science (cs.LO)
Access URL: http://arxiv.org/abs/2008.00724
-
11
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783030030131
-
12
Authors:
Source: Fundamenta Informaticae. 106:295-319
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
13
Authors:
Source: 2011 10th Mexican International Conference on Artificial Intelligence. :3-8
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
14
Authors:
Source: Theoretical Computer Science. 171:77-109
Subject Terms: logic programming, procedural semantics, bilattices, Semantics in the theory of computing, join-irreducibility, 0102 computer and information sciences, 0101 mathematics, Logic programming, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
File Description: application/xml
-
15
Authors: John S. Schlipf
Source: Journal of Computer and System Sciences. 51:64-86
Subject Terms: Computational Theory and Mathematics, Computer Networks and Communications, Applied Mathematics, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, infinite Herbrand universes, 0102 computer and information sciences, 02 engineering and technology, Logic programming, semantics, 01 natural sciences, Theoretical Computer Science
File Description: application/xml
-
16
Authors:
Contributors:
Subject Terms: Mathematical Programming, Logic, ground, mappings, STM, point, Intelligent Systems, ITECH, Semantics, Machine Learning, INFORMATIONSCIENCE, symbol, SCI-TECH, COMPUTERSCIENCE, complete, level, predicate, fixed, partial, order, Computer Science (General)
File Description: application/pdf
-
17
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783642390906
Access URL: http://aura.abdn.ac.uk/bitstream/2164/2731/1/techreport_ArgsLP.pdf
https://aura.abdn.ac.uk/handle/2164/2731
https://abdn.pure.elsevier.com/en/publications/on-the-equivalence-between-logic -programming -semantics -and-argume-3
https://orca.cf.ac.uk/84282/
https://link.springer.com/chapter/10.1007/978-3-642-39091-3_9
https://aura-test.abdn.ac.uk/handle/2164/2731
https://www.sciencedirect.com/science/article/abs/pii/S0888613X14001790 -
18
Authors: John S. Schlipf
Source: Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems. :196-204
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences
Access URL: https://dl.acm.org/doi/10.1145/298514.298564
-
19
Authors: et al.
Contributors: et al.
Source: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)Subject Terms: Programació lògica, Sistemes multiagent (Informàtica), Multiagent systems, Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial, Informàtica::Intel·ligència artificial [Àrees temàtiques de la UPC], Logic programming (Computer science)
File Description: application/pdf
-
20
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783642402050
Subject Terms: Client Application, Logic Programming, Operational Semantic, Linear Temporal Logic, Service Discovery, name=Theoretical Computer Science, name=General Computer Science
Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-642-40206-7_22.pdf
https://core.ac.uk/display/28905165
https://dblp.uni-trier.de/db/conf/calco/calco2013.html#TutuF13
https://link.springer.com/chapter/10.1007/978-3-642-40206-7_22
https://rd.springer.com/chapter/10.1007/978-3-642-40206-7_22
Nájsť tento článok vo Web of Science
Full Text Finder