Works matching DE "NONMONOTONIC logic"

Results: 355

Enhancing the scalability of expressive stream reasoning via input-driven parallelization.

Published in:

Semantic Web (1570-0844), 2019, v. 10, n. 3, p. 457, doi. 10.3233/SW-180330

By:

Dell'Aglio, Daniele;
Eiter, Thomas;
Heintz, Fredrik;
Le Phuoc, Danh;
Pham, Thu-Le;
Ali, Muhammad Intizar;
Mileo, Alessandra;
Dell Aglio, Daniele

Publication type:

Article

When cancellation becomes unreasonable.

Published in:

Intercultural Pragmatics, 2024, v. 21, n. 3, p. 403, doi. 10.1515/ip-2024-3005

By:

Macagno, Fabrizio;
Graci, Roberto

Publication type:

Article

The Value of Information and Intensity of Preference.

Published in:

Decision Analysis, 2008, v. 5, n. 3, p. 129, doi. 10.1287/deca.1080.0116

By:

Delquié, Philippe

Publication type:

Article

Interaction of a Shock Wave with an Increased-Density Gas Bubble in the Neighborhood of the Wall.

Published in:

Fluid Dynamics, 2021, v. 56, n. 2, p. 228, doi. 10.1134/S0015462821020129

By:

Sutyrin, O. G.;
Khabibullin, R. R.

Publication type:

Article

Recent results on iteration theory: iteration groups and semigroups in the real case.

Published in:

Aequationes Mathematicae, 2014, v. 87, n. 3, p. 201, doi. 10.1007/s00010-013-0186-x

By:

Zdun, Marek;
Solarz, Paweł

Publication type:

Article

A STOCHASTIC PROJECTION AND CONTRACTION ALGORITHM WITH INERTIAL EFFECTS FOR STOCHASTIC VARIATIONAL INEQUALITIES.

Published in:

Journal of Nonlinear & Variational Analysis, 2023, v. 7, n. 6, p. 995, doi. 10.23952/jnva.7.2023.6.08

By:

LIYA LIU;
XIAOLONG QIN

Publication type:

Article

A NONMONOTONE GRADIENT METHOD FOR CONSTRAINED MULTIOBJECTIVE OPTIMIZATION PROBLEMS.

Published in:

Journal of Nonlinear & Variational Analysis, 2022, v. 6, n. 6, p. 693, doi. 10.23952/jnva.6.2022.6.07

By:

XIAOPENG ZHAO;
JEN-CHIH YAO;
YONGHONG YAO

Publication type:

Article

Computing Strong and Weak Permissions in Defeasible Logic.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 6, p. 799, doi. 10.1007/s10992-013-9295-1

By:

Governatori, Guido;
Olivieri, Francesco;
Rotolo, Antonino;
Scannapieco, Simone

Publication type:

Article

Foundations of Everyday Practical Reasoning.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 6, p. 831, doi. 10.1007/s10992-013-9296-0

By:

Lin, Hanti

Publication type:

Article

An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 2, p. 285, doi. 10.1007/s10992-011-9221-3

By:

Beirlaen, Mathieu;
Straßer, Christian;
Meheus, Joke

Publication type:

Article

Some Embedding Theorems for Conditional Logic.

Published in:

Journal of Philosophical Logic, 2006, v. 35, n. 6, p. 599, doi. 10.1007/s10992-005-9021-8

By:

Xu, Ming

Publication type:

Article

The Logic of Theory Assessment.

Published in:

Journal of Philosophical Logic, 2007, v. 36, n. 5, p. 511, doi. 10.1007/s10992-006-9044-9

By:

Huber, Franz

Publication type:

Article

ON PRIMA FACIE OBLIGATIONS AND NONMONOTONICITY.

Published in:

Journal of Philosophical Logic, 2007, v. 36, n. 5, p. 599, doi. 10.1007/s10992-007-9056-0

By:

Hurtig, Kent

Publication type:

Article

Multiple-object Tracking as a Tool for Parametrically Modulating Memory Reactivation.

Published in:

Journal of Cognitive Neuroscience, 2017, v. 29, n. 8, p. 1339, doi. 10.1162/jocn_a_01132

By:

Poppenk, Jordan;
Norman, Kenneth A.

Publication type:

Article

A cubic regularization algorithm for unconstrained optimization using line search and nonmonotone techniques.

Published in:

Optimization Methods & Software, 2016, v. 31, n. 5, p. 1008, doi. 10.1080/10556788.2016.1155213

By:

Bianconcini, Tommaso;
Sciandrone, Marco

Publication type:

Article

A nonmonotone smoothing Newton algorithm for solving nonlinear complementarity problems.

Published in:

Optimization Methods & Software, 2009, v. 24, n. 3, p. 447, doi. 10.1080/10556780902769862

By:

Hu, Sheng-Long;
Huang, Zheng-Hai;
Wang, Ping

Publication type:

Article

Reasoning Biases, Non-Monotonic Logics and Belief Revision.

Published in:

Theoria: A Swedish Journal of Philosophy, 2017, v. 83, n. 1, p. 29, doi. 10.1111/theo.12108

By:

Dutilh Novaes, Catarina;
Veluwenkamp, Herman

Publication type:

Article

Quantifying over Optimum Answer Sets.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 716, doi. 10.1017/S1471068424000395

By:

MAZZOTTA, GIUSEPPE;
RICCA, FRANCESCO;
TRUSZCZYNSKI, MIREK

Publication type:

Article

Selected Papers from Datalog 2.0 2022.

Published in:

2024

By:

ALVIANO, MARIO;
PIERIS, ANDREAS

Publication type:

Editorial

Metric Temporal Equilibrium Logic over Timed Traces.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 3, p. 425, doi. 10.1017/S1471068424000139

By:

BECKER, ARVID;
CABALAR, PEDRO;
DIÉGUEZ, MARTÍN;
SCHAUB, TORSTEN;
SCHUHMANN, ANNA

Publication type:

Article

Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning.

Published in:

2024

By:

GOTTLOB, GEORG;
INCLEZAN, DANIELA;
MARATEA, MARCO

Publication type:

Editorial

Clingraph : A System for ASP-based Visualization.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 3, p. 533, doi. 10.1017/S147106842400005X

By:

HAHN, SUSANA;
SABUNCU, ORKUNT;
SCHAUB, TORSTEN;
STOLZMANN, TOBIAS

Publication type:

Article

Unifying Framework for Optimizations in Non-Boolean Formalisms.

Published in:

Theory & Practice of Logic Programming, 2023, v. 23, n. 6, p. 1248, doi. 10.1017/S1471068422000400

By:

LIERLER, YULIYA

Publication type:

Article

Linear-Time Temporal Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2023, v. 23, n. 1, p. 2, doi. 10.1017/S1471068421000557

By:

AGUADO, FELICIDAD;
CABALAR, PEDRO;
DIÉGUEZ, MARTÍN;
PÉREZ, GILBERTO;
SCHAUB, TORSTEN;
SCHUHMANN, ANNA;
VIDAL, CONCEPCIÓN

Publication type:

Article

Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 305, doi. 10.1017/S1471068421000168

By:

LIU, FANGFANG;
YOU, JIA-HUAI

Publication type:

Article

Temporal Minimal-World Query Answering over Sparse ABoxes.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 193, doi. 10.1017/S1471068421000119

By:

BORGWARDT, STEFAN;
FORKEL, WALTER;
KOVTUNOVA, ALISA

Publication type:

Article

FOLASP : FO(·) as Input Language for Answer Set Solvers.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 6, p. 785, doi. 10.1017/S1471068421000351

By:

VAN DESSEL, KYLIAN;
DEVRIENDT, JO;
VENNEKENS, JOOST

Publication type:

Article

Splitting Epistemic Logic Programs.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 3, p. 296, doi. 10.1017/S1471068420000058

By:

CABALAR, PEDRO;
FANDINNO, JORGE;
FARIÑAS DEL CERRO, LUIS

Publication type:

Article

Train Scheduling with Hybrid Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 3, p. 317, doi. 10.1017/S1471068420000046

By:

ABELS, DIRK;
JORDI, JULIAN;
OSTROWSKI, MAX;
SCHAUB, TORSTEN;
TOLETTI, AMBRA;
WANKO, PHILIPP

Publication type:

Article

A Qualitative Theory of Cognitive Attitudes and their Change.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 4, p. 428, doi. 10.1017/S1471068421000053

By:

LORINI, EMILIANO

Publication type:

Article

The Probabilistic Description Logic.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 4, p. 404, doi. 10.1017/S1471068420000460

By:

BOTHA, LEONARD;
MEYER, THOMAS;
PEÑALOZA, RAFAEL

Publication type:

Article

Preface.

Published in:

2021

By:

BALDUCCINI, MARCELLO;
LIERLER, YULIYA;
WOLTRAN, STEFAN

Publication type:

Editorial

Omission-Based Abstraction for Answer Set Programs.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 2, p. 145, doi. 10.1017/S1471068420000095

By:

SARIBATUR, ZEYNEP G.;
EITER, THOMAS

Publication type:

Article

Characterizing Boundedness in Chase Variants.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 1, p. 51, doi. 10.1017/S1471068420000083

By:

DELIVORIAS, STATHIS;
LECLÈRE, MICHEL;
MUGNIER, MARIE-LAURE;
ULLIANA, FEDERICO

Publication type:

Article

Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2020, v. 20, n. 6, p. 942, doi. 10.1017/S1471068420000411

By:

Izmirlioglu, Yusuf;
Erdem, Esra

Publication type:

Article

eclingo : A Solver for Epistemic Logic Programs.

Published in:

Theory & Practice of Logic Programming, 2020, v. 20, n. 6, p. 834, doi. 10.1017/S1471068420000228

By:

Cabalar, Pedro;
Fandinno, Jorge;
Garea, Javier;
Romero, Javier;
Schaub, Torsten

Publication type:

Article

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL.

Published in:

Theory & Practice of Logic Programming, 2020, v. 20, n. 5, p. 751, doi. 10.1017/S1471068420000381

By:

Giordano, Laura;
Theseider Dupré, Daniele

Publication type:

Article

selp: A Single-Shot Epistemic Logic Program Solver.

Published in:

Theory & Practice of Logic Programming, 2020, v. 20, n. 4, p. 435, doi. 10.1017/S1471068420000022

By:

BICHLER, MANUEL;
MORAK, MICHAEL;
WOLTRAN, STEFAN

Publication type:

Article

The Seventh Answer Set Programming Competition: Design and Results.

Published in:

Theory & Practice of Logic Programming, 2020, v. 20, n. 2, p. 176, doi. 10.1017/S1471068419000061

By:

GEBSER, MARTIN;
MARATEA, MARCO;
RICCA, FRANCESCO

Publication type:

Article

Efficiently Coupling the I-DLV Grounder with ASP Solvers.

Published in:

Theory & Practice of Logic Programming, 2020, v. 20, n. 2, p. 205, doi. 10.1017/S1471068418000546

By:

CALIMERI, FRANCESCO;
DODARO, CARMINE;
FUSCÀ, DAVIDE;
PERRI, SIMONA;
ZANGARI, JESSICA

Publication type:

Article

Revisiting Explicit Negation in Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 5/6, p. 908, doi. 10.1017/S1471068419000267

By:

AGUADO, FELICIDAD;
CABALAR, PEDRO;
FANDINNO, JORGE;
PEARCE, DAVID;
PÉREZ, GILBERTO;
VIDAL, CONCEPCIÓN

Publication type:

Article

Enhancing Magic Sets with an Application to Ontological Reasoning.

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 5/6, p. 654, doi. 10.1017/S1471068419000115

By:

ALVIANO, MARIO;
LEONE, NICOLA;
VELTRI, PIERFRANCESCO;
ZANGARI, JESSICA

Publication type:

Article

On Uniform Equivalence of Epistemic Logic Programs.

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 5/6, p. 826, doi. 10.1017/S1471068419000218

By:

FABER, WOLFGANG;
MORAK, MICHAEL;
WOLTRAN, STEFAN

Publication type:

Article

Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 4, p. 603, doi. 10.1017/S1471068419000036

By:

CALIMERI, FRANCESCO;
PERRI, SIMONA;
ZANGARI, JESSICA

Publication type:

Article

plasp 3: Towards Effective ASP Planning.

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 3, p. 477, doi. 10.1017/S1471068418000583

By:

DIMOPOULOS, YANNIS;
GEBSER, MARTIN;
LÜHNE, PATRICK;
ROMERO, JAVIER;
SCHAUB, TORSTEN

Publication type:

Article

Contrasting Ohlsson's Resubsumption Theory With Chi's Categorical Shift Theory.

Published in:

Educational Psychologist, 2009, v. 44, n. 1, p. 58, doi. 10.1080/00461520802616283

By:

CHI, MICHELENET. H.;
BREM, SARAHK.

Publication type:

Article

Simplified Maximum Likelihood Inference Based on the Likelihood Decomposition for Missing Data.

Published in:

Australian & New Zealand Journal of Statistics, 2013, v. 55, n. 3, p. 271, doi. 10.1111/anzs.12040

By:

Jung, Sangah;
Park, Sangun

Publication type:

Article

INFLUENCE OF HEATING RATE ON INFLAMMATION TEMPERATURE OF MUTLILAYER Ti/Al FOIL.

Published in:

Paton Welding Journal, 2014, n. 10, p. 22, doi. 10.15407/tpwj2014.10.04

By:

KUZMENKO, D. N.;
USTINOV, A. I.;
KOSINTSEV, S. G.;
PETRUSHINETS, L. V.

Publication type:

Article

Smooth statistical modeling of bivariate non-monotonic data by a three-stage LUT neural system.

Published in:

Neural Computing & Applications, 2018, v. 30, n. 4, p. 1353, doi. 10.1007/s00521-017-3215-1

By:

Fiori, Simone;
Fioranelli, Nicola

Publication type:

Article

A MODIFIED NONMONOTONE FILTER QP-FREE METHOD.

Published in:

Miskolc Mathematical Notes, 2023, v. 24, n. 1, p. 457, doi. 10.18514/MMN.2023.2910

By:

KE SU;
LELE REN

Publication type:

Article