Search Results - Logic Programming semantics
-
1
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 -
2
Authors:
Source: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. :4544-4552
-
3
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
-
4
Authors: et al.
Source: Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment. 19:295-305
-
5
-
6
Authors:
Source: Argument & Computation, Vol 13, Iss 1, Pp 93-120 (2022)
Subject Terms: Electronic computers. Computer science, Computational linguistics. Natural language processing, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, P98-98.5, 01 natural sciences
File Description: application/pdf
Access URL: https://content.iospress.com:443/download/argument-and-computation/aac200528?id=argument-and-computation%2Faac200528
https://orca.cardiff.ac.uk/id/eprint/136181/8/aac_2022_13-1_aac-13-1-aac200528_aac-13-aac200528.pdf
https://doaj.org/article/833ef5f0c8304dd683afe0c0a3edbeb5
https://orca.cardiff.ac.uk/136181/
https://content.iospress.com/articles/argument-and-computation/aac200528 -
7
Authors: et al.
Source: Machine Learning. 111:123-145
-
8
Authors:
Contributors:
Subject Terms: Logic, Mathematical Programming, Semantics, Mathematics
File Description: application/pdf
-
9
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
-
10
Authors: Christiansen, Henning
Source: Triangle: llenguatge, literatura, computació; Núm. 1 (2010); 31-64
Subject Terms: language, literature, computation
File Description: application/pdf
-
11
Authors: Fabrizio Riguzzi
Source: Electronic Proceedings in Theoretical Computer Science. 364
-
12
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 -
13
Authors: et al.
Contributors: et al.
File Description: application/pdf
Relation: Alferes, J. J. A., Leite, J. A. C. P., Pereira, L. M., Przymusinska, H., & Przymusinski, T. C. (1999). Dynamic Logic Programming. In Declarative Programming (pp. 393-408); PURE: 379348
Availability: http://hdl.handle.net/10362/74884
-
14
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
-
15
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
-
16
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
-
17
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
-
18
Authors: Jan Sebastian Zipp
Resource Type: eBook.
Subjects: Creative ability in business, Information technology--Philosophy, Information technology--Technological innovations, Communication--Technological innovations
Categories: SOCIAL SCIENCE / Popular Culture, BUSINESS & ECONOMICS / Industries / Computers & Information Technology, SOCIAL SCIENCE / Technology Studies
PDF Full Text -
19
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 -
20
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783030030131
Nájsť tento článok vo Web of Science 
Full Text Finder