Search Results - "Answer Set Programming"
-
1
Authors: et al.
Source: Theory and Practice of Logic Programming.
Subject Terms: answer set programming, constraint programming, integer programming
File Description: print
-
2
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
-
3
Authors: et al.
Source: Proceedings 40th International Conference on Logic Programming Electronic Proceedings in Theoretical Computer Science, EPTCS. :15-28
Subject Terms: Graph neural networks, Problem oriented languages, Subways, Visual languages, Answer set programming, Interpretability, Language model, Language processing, Modulars, Multimodal inputs, Natural languages, Optical, Question Answering, Visual Graph, Natural language processing systems
File Description: print
-
4
Authors: et al.
Source: Theory and Practice of Logic Programming. 23(6):1281-1306
File Description: print
-
5
Authors: Su, Ezgi Iraz
Source: Electronic Proceedings in Theoretical Computer Science. 416:201-214
Subject Terms: Programming problem, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Literals, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Problem-solving, Answer set programming, Monotonics, Equilibrium logic, Answer set, Program debugging, Specification languages, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Logic programs, Non-monotonic reasoning, Declarative logic, Inductive logic programming (ILP), Majority logic, Programming Languages (cs.PL)
-
6
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783032014351
Subject Terms: [SDV.BIBS] Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], Answer Set Programming, Flux Balance Analysis, Microbial communities, Solving heuristics, Metabolic networks, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, [SDV.EE.IEO] Life Sciences [q-bio]/Ecology, environment/Symbiosis
File Description: application/pdf
-
7
Authors:
Source: CTE Workshop Proceedings, Vol 12 (2025)
-
8
Authors:
Source: IEEE Access, Vol 13, Pp 86133-86143 (2025)
-
9
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 -
10
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
-
11
Authors: et al.
Source: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming. :1-12
Subject Terms: Answer Set Programming, Stream Reasoning, Knowledge Representation and Reasoning
-
12
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 -
13
Authors: et al.
Source: CEUR Workshop Proceedings.
Subject Terms: Graph theory, Graphic methods, Knowledge graph, Logic programming, Question answering, Answer set programming, Based reasonings, Extended abstracts, Knowledge graphs, Language model, Neuro-symbolic system, Real-world image, Scene-graphs, Vision model, Computer circuits
File Description: print
-
14
Authors: et al.
Contributors: et al.
Source: Journal of Logic and Computation. 34:1469-1499
Subject Terms: FOS: Computer and information sciences, typicality, I.2.4, Computer Science - Artificial Intelligence, many-valued logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 68T27, Preferential logic, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, answer set programming
Access URL: http://arxiv.org/abs/2303.04534
-
15
Authors: et al.
Contributors: et al.
Source: Intelligenza Artificiale. 18:153-174
Subject Terms: Preferential semantics, 0202 electrical engineering, electronic engineering, information engineering, description logic, many-valued logic, gradual argumentation, 0102 computer and information sciences, 02 engineering and technology, Preferential semantic, 01 natural sciences, answer set programming
-
16
Authors: et al.
Source: Journal of Logic and Computation. 34:1556-1579
-
17
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
-
18
Authors:
Source: Theory and Practice of Logic Programming. 24:682-697
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), probabilistic answer set programming, statistical relational artificial intelligence, inference, tabling, Computer Science - Artificial Intelligence, 4. Education, Logic in Computer Science (cs.LO)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2408.07524
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming /article/fast-inference-for-probabilistic-answer -set -programs-via-the-residual-program/B2685639B4C80C381196E93D8C1EDC07
https://doi.org/10.1017/S1471068424000279
https://hdl.handle.net/11392/2579290 -
19
Authors: et al.
Source: Computer Methods and Programs in Biomedicine. 242
Subject Terms: We-intentions, Breakdown situations, Conflict of intentions, Repairing conflicts, Human-robot interaction, Answer set programming, Logic programming, Shared intentions, Social robots, Healthcare scenarios, human-computer interaction, människa-datorinteraktion
File Description: electronic
-
20
Authors: Azzolini D.
Source: Machine Learning. 114
Subject Terms: Answer set programming, Genetic programming, Inductive logic programming
Nájsť tento článok vo Web of Science 
Full Text Finder