X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (173) 173
Conference Proceeding (160) 160
Patent (55) 55
Book Chapter (42) 42
Publication (14) 14
Magazine Article (8) 8
Book / eBook (6) 6
Web Resource (6) 6
Dissertation (2) 2
Compact Disc (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (63) 63
artificial intelligence (53) 53
answer set programming (38) 38
flexible materials not otherwise provided for (38) 38
laundering (38) 38
laundering, drying, ironing, pressing or folding textilearticles (38) 38
paper (38) 38
textiles (38) 38
treatment of textiles or the like (38) 38
mathematical logic and formal languages (37) 37
computer science, theory & methods (36) 36
logic (35) 35
computer science, artificial intelligence (34) 34
programming techniques (29) 29
logics and meanings of programs (26) 26
computer science, software engineering (24) 24
logic programming (21) 21
chemistry (20) 20
biochemistry (19) 19
metallurgy (18) 18
microbiology (18) 18
software engineering (17) 17
beer (16) 16
computer science - artificial intelligence (16) 16
enzymology (16) 16
mutation or genetic engineering (16) 16
semantics (16) 16
spirits (16) 16
vinegar (16) 16
wine (16) 16
compositions thereof (14) 14
culture media (14) 14
mathematical programming (14) 14
microorganisms or enzymes (14) 14
propagating, preserving or maintaining microorganisms (14) 14
discrete mathematics in computer science (13) 13
algorithms (12) 12
coffee mills (12) 12
domestic articles or appliances (12) 12
domestic washing or cleaning (12) 12
furniture (12) 12
human necessities (12) 12
knowledge representation (12) 12
logic programs (12) 12
spice mills (12) 12
suction cleaners in general (12) 12
organic chemistry (10) 10
default logic (9) 9
investigating or analysing materials by determining theirchemical or physical properties (9) 9
measuring (9) 9
nonmonotonic reasoning (9) 9
peptides (9) 9
physics (9) 9
programming (9) 9
programming languages, compilers, interpreters (9) 9
science, environment, engineering and technology (9) 9
solvers (9) 9
testing (9) 9
bioinformatics (8) 8
computer science - logic in computer science (8) 8
index medicus (8) 8
software engineering/programming and operating systems (8) 8
circumscription (7) 7
knowledge (7) 7
optimization (7) 7
preferences (7) 7
[ info.info-bi ] computer science [cs]/bioinformatics [q-bio.qm] (6) 6
animals (6) 6
complexity (6) 6
computer software (6) 6
electronic books (6) 6
logic in computer science (6) 6
280399 (5) 5
[ info.info-lo ] computer science [cs]/logic in computer science [cs.lo] (5) 5
database management (5) 5
methods (5) 5
sat (5) 5
schedules (5) 5
solver (5) 5
studies (5) 5
280301 (4) 4
answer (4) 4
biological (4) 4
computation (4) 4
computer logic (4) 4
encoding (4) 4
framework (4) 4
humans (4) 4
mathematical logic (4) 4
mathematics, applied (4) 4
networks (4) 4
pre2009-programming techniques (4) 4
problem solving (4) 4
programming languages (4) 4
routing (4) 4
satisfiability (4) 4
space exploration (4) 4
system (4) 4
well-founded semantics (4) 4
[ info ] computer science [cs] (3) 3
more...
Library Location Library Location
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (395) 395
German (25) 25
French (24) 24
Chinese (7) 7
Korean (2) 2
Polish (2) 2
Russian (2) 2
Spanish (2) 2
Japanese (1) 1
Swedish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1997, Lecture notes in computer science, ISBN 3540645152, Volume 1409., xi, 159
Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by... 
Automatic theorem proving | Computer science | Artificial intelligence | Mathematical Logic and Formal Languages
Book
2004, State-of-the-art-survey., ISBN 9783540242604, Volume 3300., 293
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in... 
Tolerance (Engineering) | Data processing | Computer logic | Data integration (Computer science) | Software Engineering | Logics and Meanings of Programs | Computer Science | Database Management | Mathematical Logic and Formal Languages
eBook
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2014, Volume 945, pp. 389 - 398
Journal Article
Artificial Intelligence, ISSN 0004-3702, 08/2012, Volume 187-188, pp. 52 - 89
We introduce an approach to computing answer sets of logic programs, based on concepts successfully applied in Satisfiability (SAT) checking. The idea is to... 
Answer set programming | Nonmonotonic reasoning | Logic programming | STABLE MODELS | SEMANTICS | KNOWLEDGE REPRESENTATION | SAT | SOLVER | PROGRAM | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Algorithms | Computation | Programming | Solvers | Artificial intelligence | Expert systems | Versatility
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2015, Volume 9203, pp. 330 - 331
Conference Proceeding
Artificial Intelligence, ISSN 0004-3702, 09/2019, Volume 274, pp. 26 - 43
Answer Set Programming (ASP) has become a popular and widespread paradigm for practical Knowledge Representation thanks to its expressiveness and the available... 
Aggregates | Answer Set Programming | LOGIC PROGRAMS | ANSWER | SEMANTICS | SETS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Declarative programming | Syntax | Semantics | Knowledge representation | Mathematical programming
Journal Article
AI Magazine, ISSN 0738-4602, 09/2016, Volume 37, Issue 3, pp. 33 - 44
Journal Article
AI Magazine, ISSN 0738-4602, 09/2016, Volume 37, Issue 3, pp. 25 - 32
Answer set programming is a declarative problem-solving paradigm that rests upon a work flow involving modeling, grounding, and solving. While the former is... 
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | COMPLEXITY | Computer programming | Methods | Variables | Logic programming | Language | Propagation | Logic programs | Problem solving | Workflow | Mathematical programming
Journal Article
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389, 2014, Volume 263, p. v
Conference Proceeding
Theory and Practice of Logic Programming, ISSN 1471-0684, 07/2012, Volume 12, Issue 4-5, pp. 485 - 503
We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming... 
ANSWER SET | COMPUTER SCIENCE, SOFTWARE ENGINEERING | CONSTRAINTS | COMPUTER SCIENCE, THEORY & METHODS | SMT | LOGIC | Learning | Computer models | Logic programming | Programming | Solvers | Mathematical models | Boolean algebra | Syntax | Programming languages
Journal Article
Theory and Practice of Logic Programming, ISSN 1471-0684, 01/2019, Volume 19, Issue 1, pp. 27 - 82
We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and present its... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING | CONFLICT | ANSWER | KNOWLEDGE | SAT | COMPUTER SCIENCE, THEORY & METHODS | LOGIC | Application programming interface | Subprograms | Stability | Semantics | Reasoning | Logic programs | Shot | Robotics | Mathematical programming
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2015, Volume 9060, pp. 17 - 32
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2013, Volume 8124, pp. 3 - 4
Conference Proceeding
Annals of Operations Research, ISSN 0254-5330, 04/2019, Volume 275, Issue 1, pp. 3 - 37
Answer Set Programming (ASP) is an approach to declarative problem solving, combining a rich yet simple modeling language with high performance solving... 
Scheduling (Management) | Heuristic programming | Models | Combinatorial optimization | Methods | Problem solving | Multiple objective analysis | Curricula | Mathematical programming
Journal Article
Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180, 09/2019, Volume 306, pp. 357 - 358
Journal Article
Theory and Practice of Logic Programming, ISSN 1471-0684, 07/2017, Volume 17, Issue 4, pp. 408 - 461
We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing... 
Constraint Answer Set Programming (CASP) | Constraint Programming (CP) | Sat Modulo Theories (SMT) | Answer Set Programming (ASP) | ANSWER SET | COMPUTER SCIENCE, SOFTWARE ENGINEERING | COMPUTER SCIENCE, THEORY & METHODS | LOGIC | Optimization techniques | Hybrid systems | Logic programming | Propagation | Preprocessing
Journal Article
Theory and Practice of Logic Programming, ISSN 1471-0684, 07/2018, Volume 18, Issue 3-4, pp. 406 - 420
In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING | COMPUTER SCIENCE, THEORY & METHODS | EQUILIBRIUM LOGIC | LOGIC | Operators | Logic programming | Logic programs | Temporal logic | Mathematical programming
Journal Article
Revue d'Intelligence Artificielle, ISSN 0992-499X, 2012, Volume 26, Issue 1-2, p. 7
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.