Results 81 to 90 of about 52,814 (199)

High-speed and energy-efficient asynchronous carry look-ahead adder. [PDF]

PLoS One, 2023
Balasubramanian P, Liu W.
europepmc   +1 more source

LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC [PDF]

, 2023
BERNARDO PINTO DE ALKMIM
openalex   +1 more source

Towards an Effective Decision Procedure for LTL formulas with Constraints

, 2013
This paper presents an ongoing work that is part of a more wide-ranging project whose final scope is to define a method to validate LTL formulas w.r.t.
Comini, Marco, Titolo, Laura, Villanueva, Alicia   +2 more
core  

Improving Autonomous Vehicle Reasoning with Non-Monotonic Logic: Advancing Safety and Performance in Complex Environments

, 2023
Jamal Raiyn, Galia Weidl
openalex   +2 more sources

NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING - State Diagrams Driven by Plausible Logic

, 2010
David P. Billington, Vladimir Estivill‐Castro, René Hexel, Andrew Rock   +3 more
openalex   +1 more source

Explaining Non-monotonic Normative Reasoning using Argumentation Theory with Deontic Logic [PDF]

Zhe Yu, Yiwei Lu
openalex   +1 more source

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

A Primer for Preferential Non-Monotonic Propositional Team Logics [PDF]

Kai Sauerwald, Juha Kontinen
openalex   +1 more source

Towards the genome-scale discovery of bivariate monotonic classifiers. [PDF]

BMC Bioinformatics
Fourquet O, Krejca MS, Doerr C, Schwikowski B.   +3 more
europepmc   +1 more source

Learning non-monotonic logic programs: Learning exceptions

, 1995
Yannis Dimopoulos, Antonis Kakas
openalex   +1 more source