Search Results - "Logic programming"
-
1
Authors: João Luis Alves Barbosa
File Description: application/pdf
Availability: https://hdl.handle.net/10216/149163
-
2
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
-
3
Authors:
Source: CTE Workshop Proceedings, Vol 12 (2025)
-
4
Authors:
Source: Artificial Intelligence. 337
Subject Terms: Probabilistic programming, Declarative semantics, Discrete-continuous distributions, Likelihood weighting, Logic programming, Knowledge compilation, Algebraic model counting
File Description: print
-
5
Authors:
Source: Theory and Practice of Logic Programming. :1-8
-
6
Authors: et al.
Contributors: et al.
Source: Theory and Practice of Logic Programming. 24:737-754
Subject Terms: FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Logic, Computer Science - Artificial Intelligence, LANGUAGE, NP, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, stable model semantics, 4613 Theory of computation, approximation fixpoint theory, I.2.3, Science & Technology, Computer Science - Programming Languages, I.2.5, 4602 Artificial intelligence, F.3.2, 0803 Computer Software, Computer Science, Software Engineering, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Computer Science, Science & Technology - Other Topics, FIXPOINT SEMANTICS, higher-order logic programming, Programming Languages (cs.PL)
Access URL: http://arxiv.org/abs/2408.10563
https://lirias.kuleuven.be/handle/20.500.12942/760291
https://doi.org/10.1017/s1471068424000231
https://biblio.vub.ac.be/vubir/the-stable-model-semantics-for-higherorder-logic -programming (8d08ad18-0693-43e9-a548-fc74e59c32fb).html
https://hdl.handle.net/20.500.14017/8d08ad18-0693-43e9-a548-fc74e59c32fb
https://doi.org/10.1017/s1471068424000231 -
7
Authors: João Luís Alves Barbosa
Subject Terms: Ciências exactas e naturais, Natural sciences
File Description: application/pdf
Availability: https://hdl.handle.net/10216/85696
-
8
Authors:
Contributors:
Subject Terms: Proof search, Sequent calculus, Cut-rule, Logic programming
File Description: application/postscript; application/pdf
Availability: https://hdl.handle.net/1822/3819
-
9
Authors: et al.
Contributors: et al.
Source: AI, Vol 5, Iss 4, Pp 2707-2724 (2024)
Subject Terms: artificial moral ethics, logic programming, computational ethics, moral agents, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 06 humanities and the arts, 02 engineering and technology, 0603 philosophy, ethics and religion
File Description: application/pdf
-
10
Authors: Miguel João Gonçalves Areias
File Description: application/pdf
Availability: https://hdl.handle.net/10216/78840
-
11
Authors: et al.
Contributors: et al.
Source: Theory and Practice of Logic Programming, 24(4), pp. 628-643.
Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Artificial Intelligence (cs.AI), Sensory data, Computer Science - Artificial Intelligence, Probabilistic background knowledge, Inductive logic programming, Neurosymbolic inference, Relational patterns, Machine Learning (cs.LG)
-
12
Authors: Mehmet Fatih Hocaoğlu
Source: SIMULATION. 101:951-979
-
13
Authors: et al.
Source: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. :779-786
-
14
Authors:
Source: Procedia Computer Science. 2025, Vol. 270, p2318-2325. 8p.
Subject Terms: Logic programming, Constraint satisfaction, Graph theory, Grids (Cartography), Planar graphs
-
15
Authors: et al.
Source: Radioelectronics. Nanosystems. Information Technologies.. 17:383-394
-
16
Source: Radioelectronics. Nanosystems. Information Technologies.. 17:383-394
-
17
Authors:
Source: IEEE Transactions on Cognitive and Developmental Systems. 17:540-553
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Auto-Configuration, Task-to-Processor Mapping, Active Learning, ddc:004, Real-Time Distributed Systems, Inductive Logic Programming
File Description: application/pdf
-
19
Authors: et al.
Source: 2025 International Conference on Computational Innovations and Engineering Sustainability (ICCIES). :1-6
-
20
Authors: Dreossi, Talissa
Source: Electronic Proceedings in Theoretical Computer Science. 416:314-323
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)
Access URL: http://arxiv.org/abs/2502.09227
Nájsť tento článok vo Web of Science
Full Text Finder