Results 61 to 70 of about 772 (194)
The top-down evaluation techniques for modular nonmonotonic logic programs [PDF]
, 2011 Answer Set Programming (ASP) ist ein sehr nützliches Werkzeug für die Wissensrepräsentation und zum Lösen von deklarativen Problemstellungen. In letzter Zeit werden Modularitätsaspekte in ASP zunehmend interessant, bei dem es darum geht, (Sub-)Programme ...
Wijaya, Tri Kurniawan
core
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, Volume 36, Issue 44, 1 June 2026.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 more
wiley +1 more source
Nonmonotonic Logic and Neural Networks
, 1997 A puzzle in the philosophy of mind concerns the gap between symbolic and subsymbolic (neuron-like) modes of processing (e.g. Smolensky 1988). The aim of this paper is to overcome this gap by viewing symbolism as a highlevel description of the properties ...
Paul David Doherty, Reinhard Blutner
core
, 2012 This thesis addresses two problems of trust: 1. Knowledge on Trust: If we are provided with information by a variety of individuals, whom we trust to different degrees, what is the best overall theory we can form from the information we are given ...
Harwood, William
core
Progress in Strain Engineering of 2D‐Integrated Heterostructures for Ultrasensitive Sensors
Advanced Science, Volume 13, Issue 33, 15 June 2026.. ABSTRACT Two‐dimensional (2D) integrated heterostructures have emerged as a cornerstone in the advancement of next‐generation sensor technologies. These heterostructures, which combine materials with different dimensionalities, have led to significant breakthroughs in sensing performance and device integration.
That Buu Ton +4 more
wiley +1 more source
Promoting Modular Nonmonotonic Logic Programs∗
, 2015 Modularity in Logic Programming has gained much attention over the past years. To date, many formalisms have been proposed that feature various aspects of modularity. In this paper, we present our current work on Modular Nonmonotonic Logic Programs (MLPs)
Thomas Krennwallner
core
How To Combine Nonmonotonic Logic and Rapid Prototyping To Help Maintain Software [PDF]
, 1995 This paper explores the possibility of automated support for detecting inconsistencies in software systems and requirements. The inconsistencies are introduced when the environment of the software system changes.
Luqi Computer +3 more
core
Non-Monotonic Reasoning in Interpretation (Update of )
, 2010 This chapter presents recent progress made in formal pragmatics by using nonmonotonic logic to describe pragmatic meaning. It highlights how minimal models can be used to describe and explain inferences of language use, in particular Gricean ...
Schulz, K. +3 more
core +1 more source
First-Order Encodings of Modular Nonmonotonic Logic Programs
, 2011 Recently Modular Nonmonotonic Logic Programs (MLP) have been introduced which incorporate a call-by-value mechanism and allow for unrestricted calls between modules, including mutual and self recursion, as an approach to provide module constructs akin to
Krennwallner, Thomas +3 more
core
, 2007 Book Reviews: David Makinson, "Bridges from Classical to Nonmonotonic Logic", King’s College Publications, London, 2005, pp. 216, ISBN 1-904987-00-
Jarmużek, Tomasz
core +1 more source