Showing 161 - 180 of 269

161

Beyond Uniform Equivalence between Answer-set Programs
Johannes Oetsch ; Martina Seidl ; Hans Tompits ; et al.
ACM Transactions on Computational Logic. 22:1-46

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 16. Peace & justice 01 natural sciences
Academic journal
Save to List
162

Visualization of reasoning: Debugging techniques in ASP
Rodriguez, Justin

ASP Logic Programming Reasoning Debugging
Dissertation/ Thesis
Save to List
163

Threat Artificial Intelligence and Cyber Security in Health Care Institutions
Margarida Figueiredo ; José Neves ; Ana Fernandes ; et al.
Studies in Computational Intelligence ISBN: 9783030722357

3. Good health
Book
Save to List
164

A case base approach to cardiovascular diseases using chest X-ray image analysis
Faria, Ricardo ; Alves, Victor ; Ferraz, Filipa Tinoco ; et al.

Case-based reasoning Chest X-ray images Knowledge representation Logic programming Mathematical logic Reasoning
Save to List
165

Screening a case base for stroke disease detection
Neves, José ; Gonçalves, Nuno ; Oliveira, Ruben ; et al.

Case Based Reasoning Knowledge Representation... Logic Programming Similarity Analysis Stroke Disease
Save to List
166

An Assessment to Toxicological Risk of Pesticide Exposure
Coelho, Cristina ; Martins, M. Rosário ; Lima, Nelson ; et al.

Pesticide Exposure Toxicity Environmental Fate Artificial Intelligence Logic Programming Knowledge Representation...
Save to List
167

A Case Based Reasoning View of School Dropout Screening
Neves, José ; Figueiredo, Margarida ; Vicente, Lídia ; et al.

School Dropout Case Based Reasoning Logic Programming Knowledge Representation... Similarity Analysis
Save to List
168

Logic programming and artificial neural networks in breast cancer detection
Neves, José ; Guimarães, Tiago ; Gomes, Sabino ; et al.

Breast cancer Tyrer-cuzick model Knowledge representation... Logic programing Artificial Neural Networ...
Save to List
169

A case based approach to concrete deterioration assessment
Neves, José ; Gomes, Guida ; Machado, José Manuel ; et al.

Case Based Reasoning Concrete Deterioration Knowledge Representation... Logic Programming Normalization Similarity Analysis
Save to List
170

An Introduction to Answer Set Programming and Some of Its Extensions
Wolfgang Faber
Lecture Notes in Computer Science ISBN: 9783030600662

Book
Save to List
171

Logic Programming in Knowledge Domains.
Etalle, Sandro ; Truszczyński, Mirosław ; Mantsivoda, Andrei ; et al.
Logic Programming (9783540366355); 2006, p451-452, 2p

Book
Save to List
173

Logic programming in knowledge domains
MANTSIVODA, Andrei ; LIPOVCHENKO, Vladimir ; MALYKH, Anton
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :451-452

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
174

A system for abductive learning of logic programs
Lamma, Evelina ; Mello, Paola ; Milano, Michela ; et al.
Lecture Notes in Computer Science ; Logic Programming and Knowledge Representation ; page 102-122 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540649588 9783540498728

Book
Save to List
175

Delegation logic: A logic-based approach to distributed authorization
Joan Feigenbaum ; Benjamin N. Grosof ; Ninghui Li
ACM Transactions on Information and System Security. 6:128-171

0202 electrical engineer... 02 engineering and techn... 16. Peace & justice 3. Good health
Academic journal
Save to List
176

Automated reasoning, knowledge representation and management
Baumgartner, Peter ; Furbach, Ulrich ; Yahya, Adnan

Reasoning Knowledge representation... Management - Data proces... Artificial intelligence
Academic journal
Save to List
177

The Individual Realm of Machine Ethics: A Survey
Luís Moniz Pereira ; Ari Saptawijaya
Studies in Applied Philosophy, Epistemology and Rational Ethics ISBN: 9783319293530

16. Peace & justice
Book
Save to List
178

Delegation Logic: A logic-based approach to distributed authorization
Ninghui Li ; Benjamin N. Grosof ; Joan Feigenbaum ; et al.
http://crypto.stanford.edu/~ninghui/papers/dl_tissec03.pdf.

Categories and Subject D... K.6.5 [Management of Com... Security and Protection... K.4.2) General Terms Security Languages Additional Key...
Academic journal
Save to List
179

This result is not available to guest users.

180

Feature-constraint logics for unification grammars
Smolka, Gert
In The Journal of Logic Programming 1992 12(1):51-87

Academic journal
Save to List

Filter