X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Conference Proceeding (58) 58
Journal Article (54) 54
Book Chapter (12) 12
Patent (12) 12
Web Resource (9) 9
Book / eBook (8) 8
Magazine Article (3) 3
Dissertation (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
artificial intelligence (29) 29
computer science (29) 29
computer science, artificial intelligence (18) 18
computer communication networks (11) 11
logic (11) 11
information systems applications (10) 10
mechanical engineering (10) 10
abstract argumentation (9) 9
information storage and retrieval (9) 9
computer science - artificial intelligence (8) 8
algorithms (7) 7
argumentation (7) 7
blasting (7) 7
computer simulation (7) 7
heating (7) 7
lighting (7) 7
weapons (7) 7
data mining and knowledge discovery (6) 6
electric heating (6) 6
electric lighting not otherwise provided for (6) 6
electric techniques not otherwise provided for (6) 6
electricity (6) 6
humans (6) 6
index medicus (6) 6
information storage and retrieval systems (6) 6
mathematical logic and formal languages (6) 6
probabilistic argumentation (6) 6
ai (5) 5
artificial thinking (5) 5
electronic brains (5) 5
functional features or details of lighting devices or systemsthereof (5) 5
intellectronics (5) 5
intelligence, artificial (5) 5
intelligent machines (5) 5
knowledge representation (5) 5
machine intelligence (5) 5
probabilistic reasoning (5) 5
reasoning (5) 5
simulation and modeling (5) 5
software engineering (5) 5
structural combinations of lighting devices with otherarticles, not otherwise provided for (5) 5
thinking, artificial (5) 5
application software (4) 4
automatic data storage (4) 4
automatic information retrieval (4) 4
automation in documentation (4) 4
computer communication systems (4) 4
computer-based information systems (4) 4
data processing systems (4) 4
data storage and retrieval systems (4) 4
database management (4) 4
discovery systems, information (4) 4
female (4) 4
inconsistency measures (4) 4
indexing scheme associated with subclasses f21k, f21l, f21sand f21v, relating to theform or the kind of the light sources or of the colour of thelight emitted (4) 4
information discovery systems (4) 4
information processing systems (4) 4
information retrieval systems (4) 4
logics and meanings of programs (4) 4
machine data storage and retrieval (4) 4
male (4) 4
mechanized information storage and retrieval systems (4) 4
research (4) 4
semantics (4) 4
analysis (3) 3
bdi (3) 3
complexity (3) 3
computation (3) 3
computational complexity (3) 3
computer appl. in administrative data processing (3) 3
computer modeling (3) 3
computer models (3) 3
computer networks (3) 3
congresses (3) 3
diagnosis (3) 3
discrete mathematics in computer science (3) 3
epistemic argumentation (3) 3
frameworks (3) 3
inconsistency (3) 3
informatics (3) 3
informationsspeicher (3) 3
inteligencia artificial (3) 3
kongress (3) 3
mathematical logic (3) 3
mathematics, applied (3) 3
modeling, computer (3) 3
models, computer (3) 3
motivation (3) 3
non-portable lighting devices (3) 3
retrospective studies (3) 3
robotik (3) 3
simulation, computer (3) 3
software engineering/programming and operating systems (3) 3
solvers (3) 3
systems thereof (3) 3
user interfaces and human computer interaction (3) 3
vehicle lighting devices specially adapted for vehicleexteriors (3) 3
wissensbasis (3) 3
acquisition, knowledge (2) 2
adolescent (2) 2
more...
Library Location Library Location
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (146) 146
German (7) 7
Chinese (3) 3
Korean (2) 2
French (1) 1
Japanese (1) 1
Spanish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2014, Volume 8736, pp. 195 - 206
Journal Article
Artificial Intelligence, ISSN 0004-3702, 05/2016, Volume 234, pp. 120 - 151
We survey recent approaches to inconsistency measurement in propositional logic and provide a comparative analysis in terms of their expressivity. For that, we... 
Inconsistency measures | Inconsistency management | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Knowledge bases (artificial intelligence) | Boolean functions | Set theory | Grants | Logic | Artificial intelligence | Expert systems
Journal Article
Artificial Intelligence, ISSN 0004-3702, 04/2013, Volume 197, pp. 1 - 24
Inconsistencies in knowledge bases are of major concern in knowledge representation and reasoning. In formalisms that employ model-based reasoning mechanisms... 
Inconsistency management | Probabilistic reasoning | Inconsistency measures | Probabilistic conditional logic | KNOWLEDGE BASES | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | ENTROPY
Journal Article
International Journal of Approximate Reasoning, ISSN 0888-613X, 07/2017, Volume 86, pp. 1 - 23
We present a general scheme for inconsistency measurement that generalizes previously proposed approaches based on many-valued logics. We also develop novel... 
Fuzzy logic | Inconsistency measure | Many-valued logics | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
International Journal of Approximate Reasoning, ISSN 0888-613X, 01/2016, Volume 68, pp. 68 - 87
Inconsistency measures have been proposed to assess the severity of inconsistencies in knowledge bases of classical logic in a quantitative way. In general,... 
Approximation algorithm | Inconsistency measures | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Tasks | Approximation | Computation | Run time (computers) | Knowledge base | Logic | Assessments | Streams
Journal Article
Artificial Intelligence, ISSN 0004-3702, 11/2017, Volume 252, pp. 267 - 294
We report on the First International Competition on Computational Models of Argumentation (ICCMA'15) which took place in the first half of 2015 and focused on... 
Formal argumentation | Algorithms | EXTENSIONS | ABSTRACT ARGUMENTATION | COMPLEXITY | DYNAMICS | SYSTEMS | EFFICIENT | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | FRAMEWORKS | Models | Computer-generated environments | Computer simulation | Analysis | Artificial Intelligence | Computer Science
Journal Article
Journal of Artificial Intelligence Research, ISSN 1076-9757, 05/2017, Volume 59, pp. 565 - 611
argumentation offers an appealing way of representing and evaluating arguments and counterarguments. This approach can be enhanced by considering probability... 
INCONSISTENCY | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
Artificial Intelligence, ISSN 0004-3702, 04/2020, Volume 281, p. 103236
•Epistemic graphs are a new proposal for epistemic and bipolar argumentation.•They allow for modelling of context-sensitivity and multiple perspectives.•They... 
Epistemic argumentation | Abstract argumentation | Bipolar argumentation | SUPPORT | SEMANTICS | PERSUASION | BIPOLAR | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | FRAMEWORKS | Computer Science - Artificial Intelligence
Journal Article
International Journal of Approximate Reasoning, ISSN 0888-613X, 11/2016, Volume 78, pp. 73 - 102
When informal arguments are presented, there may be imprecision in the language used, and so the audience may be uncertain as to the structure of the argument... 
Argumentation dialogues | Abstract argumentation | Strategic argumentation | Utility theory | Probabilistic argumentation | PERSUASION | GAMES | SYSTEMS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | FRAMEWORKS | Uncertainty | Utilities | Approximation | Semantics | Graphs | Lotteries | Optimization | Harnesses
Journal Article
International Journal of Approximate Reasoning, ISSN 0888-613X, 09/2017, Volume 88, pp. 209 - 236
We consider the problem of reasoning under uncertainty in the presence of inconsistencies. Our knowledge bases consist of linear probabilistic constraints... 
Probabilistic reasoning | Probabilistic logic | Inconsistency-tolerant reasoning | CONSTRAINTS | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Reasoning | Analysis
Journal Article
2017, Volume 22
Many problems in AI (in reasoning, planning, learning, perception and robotics) require the agent to operate with incomplete or uncertain information.... 
Artificial Intelligence | Computer Science
Book
Web Semantics: Science, Services and Agents on the World Wide Web, ISSN 1570-8268, 05/2018, Volume 50, pp. 21 - 48
In the last years, scalable RDF stores in the cloud have been developed, where graph data is distributed over compute and storage nodes for scaling efforts of... 
Graph partitioning | Benchmark | Distributed RDF stores | COMPUTER SCIENCE, SOFTWARE ENGINEERING | SPARQL | COMPUTER SCIENCE, INFORMATION SYSTEMS | MAPREDUCE | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
Expert Systems With Applications, ISSN 0957-4174, 04/2018, Volume 95, pp. 312 - 323
•Using background knowledge in ontology debugging is proposed for the first time.•The evaluations show a remarkable increase in the number of discovered... 
Contextual knowledge | Ontology debugging | Inconsistency | Incoherency | Hidden modeling errors | OPERATIONS RESEARCH & MANAGEMENT SCIENCE | JUSTIFICATIONS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | ENGINEERING, ELECTRICAL & ELECTRONIC
Journal Article
Orphanet Journal of Rare Diseases, ISSN 1750-1172, 08/2014, Volume 9, Issue 1
Journal Article
by De Jong, Roelof S and Barden, Sam and Bellido-Tirado, Olga and Brynnel, Joar and Chiappini, Cristina and Depagne, Éric and Haynes, Roger and Johl, Diana and Phillips, Daniel P and Schnurr, Olivier and Schwope, Axel D and Walcher, Jakob and Bauer, Svend M and Cescutti, Gabriele and Cioni, Maria-Rosa L and Dionies, Frank and Enke, Harry and Haynes, Dionne M and Kelz, Andreas and Kitaura, Francisco S and Lamer, Georg and Minchev, Ivan and Müller, Volker and Nuza, Sebastián E and Olaya, Jean-Christophe and Piffl, Tilmann and Popow, Emil and Saviauk, Allar and Steinmetz, Matthias and Ural, Uʇur and Valentini, Monica and Winkler, Roland and Wisotzki, Lutz and Ansorge, Wolfgang R and Banerji, Manda and Gonzalez Solares, Eduardo and Irwin, Mike and Kennicutt, Robert C and King, David M. P and McMahon, Richard and Koposov, Sergey and Parry, Ian R and Sun, Xiaowei and Walton, Nicholas A and Finger, Gert and Iwert, Olaf and Krumpe, Mirko and Lizon, Jean-Louis and Mainieri, Vincenzo and Amans, Jean-Philippe and Bonifacio, Piercarlo and Cohen, Matthieu and François, Patrick and Jagourel, Pascal and Mignot, Shan B and Royer, Frédéric and Sartoretti, Paola and Bender, Ralf and Hess, Hans-Joachim and Lang-Bardl, Florian and Muschielok, Bernard and Schlichter, Jörg and Böhringer, Hans and Boller, Thomas and Bongiorno, Angela and Brusa, Marcella and Dwelly, Tom and Merloni, Andrea and Nandra, Kirpal and Salvato, Mara and Pragt, Johannes H and Navarro, Ramón and Gerlofsma, Gerrit and Roelfsema, Ronald and Dalton, Gavin B and Middleton, Kevin F and Tosh, Ian A and Boeche, Corrado and Caffau, Elisabetta and Christlieb, Norbert and Grebel, Eva K and Hansen, Camilla J and Koch, Andreas and Ludwig, Hans-G and Mandel, Holger and Quirrenbach, Andreas and Sbordone, Luca and Seifert, Walter and Thimm, Guido and Helmi, Amina and Trager, Scott C and Bensby, Thomas and Feltzing, Sofia and Ruchti, Gregory and Edvardsson, Bengt and Korn, Andreas and Lind, Karin and Boland, Wilfried and Colless, Matthew and Frost, Gabriella and ...
Proceedings of SPIE - The International Society for Optical Engineering, ISSN 0277-786X, 2014, Volume 9147
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2017, Volume 10249, pp. 68 - 84
Conference Proceeding
Artificial intelligence, ISSN 0004-3702, 11/2017, Volume 252, p. 267
We report on the First International Competition on Computational Models of Argumentation (ICCMA'15) which took place in the first half of 2015 and focused on... 
Competition | Algorithms | Semantics | Computation | Contests | Solvers | Mathematical models | Program verification (computers)
Journal Article
Artificial Intelligence, ISSN 0004-3702, 10/2019, Volume 275, pp. 411 - 456
We survey a selection of inconsistency measures from the literature and investigate their computational complexity wrt. decision problems related to bounds on... 
Inconsistency measures | Computational complexity | REDUCTIONS | REVISION | SAT | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Polynomials | Complexity
Journal Article