Search Results - "Answer Set Programming"
-
1
Authors: et al.
Source: Theory and Practice of Logic Programming. :1-15
Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Forks, Artificial Intelligence, Answer set programming, Equilibrium logic, Disjunctive logic programming
File Description: application/pdf
-
2
Authors: et al.
Source: Theory and Practice of Logic Programming. 23(6):1281-1306
File Description: print
-
3
Authors: et al.
Source: Theory and Practice of Logic Programming. 25:33-63
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, probabilistic answer set programming, decision theory, statistical relational artificial intelligence, credal semantics, algebraic model counting, Logic in Computer Science (cs.LO)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2408.11371
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming /article/solving-decision-theory-problems-with-probabilistic-answer -set -programming /4B8399D1D02582100A6C6E9C8A0EF50D
https://doi.org/10.1017/S1471068424000474
https://hdl.handle.net/11392/2578950 -
4
Authors: et al.
Source: Artificial Intelligence. 337
Subject Terms: Integer programming, Railroad transportation, Adaptive large neighborhood searches, Answer set programming, Automatically generated, Declarative problem solving, Encodings, Large neighbourhood searches, Metaheuristic, Neighbourhood, Optimisations, Optimization problems, Benchmarking
File Description: print
-
5
Authors: et al.
Source: Theory and Practice of Logic Programming. :1-18
Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Artificial Intelligence, Logic in Computer Science, Logic in Computer Science (cs.LO)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2507.11150
-
6
Authors: et al.
Source: Theory and Practice of Logic Programming. :1-16
Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Temporal logic programming, Knowledge representation, Artificial Intelligence, Logic in Computer Science, Nonmonotonic reasoning, Constraint programming, Logic in Computer Science (cs.LO)
File Description: application/pdf
-
7
Authors: et al.
Source: International Journal of Scientific Research in Computer Science, Engineering and Information Technology. 11:302-309
-
8
Authors:
Source: Theory and Practice of Logic Programming. 25:1-32
Subject Terms: algebraic model counting, credal semantics, exact and approximate inference, hybrid probabilistic answer set programming, statistical relational artificial intelligence, FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
File Description: application/pdf
Access URL: http://arxiv.org/abs/2409.20274
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming /article/probabilistic-answer -set -programming -with-discrete-and-continuous-random-variables/2BE5A5EAEFFA47D29CA57C2969FF1B9E
https://doi.org/10.1017/S1471068424000437
https://hdl.handle.net/11392/2571110 -
9
Authors: et al.
Source: Theory and Practice of Logic Programming. :1-17
Subject Terms: FOS: Computer and information sciences, I.2.3, Logic in Computer Science, Logic in Computer Science (cs.LO)
Access URL: http://arxiv.org/abs/2507.11704
-
10
Authors:
Source: Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A. :39-44
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Answer Set Programming, Methodology, Structure, Learnability, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
File Description: application/pdf
Availability: http://hdl.handle.net/10362/178438
-
12
-
13
Authors: Yusuf Izmirlioglu
Source: Proceedings of the AAAI Conference on Artificial Intelligence. 39:14997-15004
-
14
Authors: et al.
Source: Journal of Logic and Computation. 34:1556-1579
-
15
Authors:
Source: Theory and Practice of Logic Programming. 24:698-715
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, probabilistic answer set programming, statistical relational artificial intelligence, parameter learning, optimization, Logic in Computer Science (cs.LO)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2408.08732
-
16
Authors:
Source: Proceedings of the International Florida Artificial Intelligence Research Society Conference, Vol 38, Iss 1 (2025)
-
17
Authors:
Source: Proceedings of the AAAI Conference on Artificial Intelligence. 39:14893-14901
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Logic in Computer Science (cs.LO)
Access URL: http://arxiv.org/abs/2412.10975
-
18
Authors: et al.
Contributors: et al.
Source: Proceedings of the AAAI Conference on Artificial Intelligence
Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-SY] Computer Science [cs]/Systems and Control [cs.SY], Trap Space, Boolean Network, Answer Set Programming, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]
File Description: application/pdf
-
19
Authors: et al.
Contributors: et al.
Subject Terms: ddc:004, Stable Models, Probabilistic Logic Programming, Answer-Set Programming
File Description: application/pdf
-
20
Authors:
Source: Theory and Practice of Logic Programming. 24:453-481
Subject Terms: 4613 Theory of computation, Technology, Science & Technology, Logic, 4602 Artificial intelligence, payroll management, 0803 Computer Software, decision modelling, 0102 computer and information sciences, 02 engineering and technology, Computer Science, Software Engineering, 01 natural sciences, CALCULUS, Computation Theory & Mathematics, Computer Science, Theory & Methods, Computer Science, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics, answer set programming, SYSTEM, 0802 Computation Theory and Mathematics
Nájsť tento článok vo Web of Science 
Full Text Finder