Suggested Topics within your search.
Suggested Topics within your search.
Answer set programming
2
Logic programming
2
Semantics
2
Aggregates
1
Answer set
1
Classical logic
1
Computer circuits
1
Computer science
1
Ease-of-use
1
Formal logic
1
Genetics (non-medical)
1
Information technology industries
1
Intensional functions
1
Knowledge representation
1
Language design
1
Logic programs
1
Modulo theories
1
Non-monotonicity
1
Satisfiability modulo Theories
1
Satisfiability modulo theories
1
Stable model semantics
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11by Santiago eVidela, Santiago eVidela, Santiago eVidela, Santiago eVidela, Irina eKonokotina, Leonidas eAlexopoulos, Julio eSaez-Rodriguez, Torsten eSchaub, Anne eSiegel, Anne eSiegel, Carito eGuziolowskiSubjects: “...answer set programming...”
Published 2015-09-01
Get full text
Article -
12
-
13
-
14by East, Deborah J.Subjects: “...knowledge representation|search|delarative|programming|answer-set programming|NP-search|constraint...”
Published 2001
Get full text
Get full text
Others -
15by Polleres, AxelSubjects: “...answer set programming...”
Published 2016
Get full text
Get full text
Others -
16by Morais, Eduardo Menezes deSubjects: “...answer set programming (ASP)...”
Published 2012
Get full text
Others -
17by Eduardo Menezes de MoraisSubjects: “... answer set programming (ASP) ...”
Published 2012
Get full text
-
18
-
19
-
20by Julie Laniau, Clémence Frioux, Jacques Nicolas, Caroline Baroukh, Maria-Paz Cortes, Jeanne Got, Camille Trottier, Damien Eveillard, Anne SiegelSubjects: “...Answer Set Programming...”
Published 2017-10-01
Get full text
Article