Works matching DE "FIRST-order logic"

Results: 913

When one logic is not enough: Integrating first-order annotations in OWL ontologies.

Published in:

Semantic Web (1570-0844), 2025, v. 16, n. 2, p. 1, doi. 10.3233/SW-243440

By:

Flügel, Simon;
Glauer, Martin;
Neuhaus, Fabian;
Hastings, Janna

Publication type:

Article

Towards a formal ontology of engineering functions, behaviours, and capabilities.

Published in:

Semantic Web (1570-0844), 2024, v. 15, n. 2, p. 285, doi. 10.3233/SW-223188

By:

Compagno, Francesco;
Borgo, Stefano

Publication type:

Article

Representing narratives in digital libraries: The narrative ontology.

Published in:

Semantic Web (1570-0844), 2021, v. 12, n. 2, p. 241, doi. 10.3233/SW-200421

By:

Bikakis, Antonis;
Markhoff, Béatrice;
Mosca, Alessandro;
Jean, Stéphane;
Hyvönen, Eero;
Meghini, Carlo;
Bartalesi, Valentina;
Metilli, Daniele;
Hyvonen, Eero;
Markhoff, Beatrice

Publication type:

Article

Special issue on stream reasoning.

Published in:

2019

By:

Dell'Aglio, Daniele;
Eiter, Thomas;
Heintz, Fredrik;
Le-Phuoc, Danh;
Dell Aglio, Daniele;
Le Phuoc, Danh

Publication type:

Editorial

Herbrand schemes for cyclic proofs Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf013

By:

Afshari, Bahareh;
Enqvist, Sebastian;
Leigh, Graham E

Publication type:

Article

Solving quantified modal logic problems by translation to classical logics.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf006

By:

Steen, Alexander;
Sutcliffe, Geoff;
BenzmÜller, Christoph

Publication type:

Article

MKGFA: Multimodal Knowledge Graph Construction and Fact-Assisted Reasoning for VQA.

Published in:

International Journal of Computational Intelligence & Applications, 2025, v. 24, n. 2, p. 1, doi. 10.1142/S1469026824500342

By:

Wang, Longbao;
Zhang, Jinhao;
Zhang, Libing;
Zhang, Shuai;
Xu, Shufang;
Yu, Lin;
Gao, Hongmin

Publication type:

Article

The Generic Circular Triangle‐Free Graph.

Published in:

Journal of Graph Theory, 2025, v. 109, n. 4, p. 426, doi. 10.1002/jgt.23235

By:

Bodirsky, Manuel;
Guzmán‐Pro, Santiago

Publication type:

Article

New Results in Model Theory and Set Theory.

Published in:

Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. 543, doi. 10.1017/bsl.2024.4

By:

Hamel, Clovis

Publication type:

Article

Reconstructing non-contrastive stress in Austronesian and the role of the mora in stress shift, gemination and vowel shift.

Published in:

Diachronica, 2023, v. 40, n. 1, p. 111, doi. 10.1075/dia.20032.smi

By:

Smith, Alexander D.

Publication type:

Article

DNAQL: a query language for DNA sticker complexes.

Published in:

Natural Computing, 2021, v. 20, n. 1, p. 161, doi. 10.1007/s11047-020-09839-7

By:

Brijder, Robert;
Gillis, Joris J. M.;
Van den Bussche, Jan

Publication type:

Article

Learning differentiable logic programs for abstract visual reasoning.

Published in:

Machine Learning, 2024, v. 113, n. 11, p. 8533, doi. 10.1007/s10994-024-06610-2

By:

Shindo, Hikaru;
Pfanschilling, Viktor;
Dhami, Devendra Singh;
Kersting, Kristian

Publication type:

Article

Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach.

Published in:

Machine Learning, 2024, v. 113, n. 7, p. 4579, doi. 10.1007/s10994-024-06538-7

By:

Bueff, Andreas;
Belle, Vaishak

Publication type:

Article

Online semi-supervised learning of composite event rules by combining structure and mass-based predicate similarity.

Published in:

Machine Learning, 2024, v. 113, n. 3, p. 1445, doi. 10.1007/s10994-023-06447-1

By:

Michelioudakis, Evangelos;
Artikis, Alexander;
Paliouras, Georgios

Publication type:

Article

Composition of relational features with an application to explaining black-box predictors.

Published in:

Machine Learning, 2024, v. 113, n. 3, p. 1091, doi. 10.1007/s10994-023-06399-6

By:

Srinivasan, Ashwin;
Baskar, A.;
Dash, Tirtharaj;
Shah, Devanshu

Publication type:

Article

Lifted model checking for relational MDPs.

Published in:

Machine Learning, 2022, v. 111, n. 10, p. 3797, doi. 10.1007/s10994-021-06102-7

By:

Yang, Wen-Chi;
Raskin, Jean-François;
De Raedt, Luc

Publication type:

Article

Learning from interpretation transition using differentiable logic programming semantics.

Published in:

Machine Learning, 2022, v. 111, n. 1, p. 123, doi. 10.1007/s10994-021-06058-8

By:

Gao, Kun;
Wang, Hanpin;
Cao, Yongzhi;
Inoue, Katsumi

Publication type:

Article

On the use of stochastic local search techniques to revise first-order logic theories from examples.

Published in:

Machine Learning, 2017, v. 106, n. 2, p. 197, doi. 10.1007/s10994-016-5595-3

By:

Paes, Aline;
Zaverucha, Gerson;
Costa, Vítor

Publication type:

Article

Learning relational dependency networks in hybrid domains.

Published in:

Machine Learning, 2015, v. 100, n. 2-3, p. 217, doi. 10.1007/s10994-015-5483-2

By:

Ravkic, Irma;
Ramon, Jan;
Davis, Jesse

Publication type:

Article

Affine-invariant querying of spatial data using a triangle-based logic.

Published in:

GeoInformatica, 2020, v. 24, n. 4, p. 849, doi. 10.1007/s10707-020-00402-1

By:

Haesevoets, Sofie;
Kuijpers, Bart;
Revesz, Peter Z.

Publication type:

Article

Further results on error estimators for local refinement with first-order system least squares (FOSLS).

Published in:

Numerical Linear Algebra with Applications, 2010, v. 17, n. 2/3, p. 387, doi. 10.1002/nla.696

By:

Manteuffel, Thomas;
McCormick, Steven;
Nolting, Joshua;
Ruge, John;
Sanders, Geoff

Publication type:

Article

Algebraic multigrid within defect correction for the linearized Euler equations.

Published in:

Numerical Linear Algebra with Applications, 2010, v. 17, n. 2/3, p. 307, doi. 10.1002/nla.687

By:

Naumovich, Anna;
Förster, Malte;
Dwight, Richard

Publication type:

Article

Monitoring of spatio-temporal properties with nonlinear SAT solvers.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 169, doi. 10.1007/s10009-024-00740-7

By:

Matos Pedro, André;
Silva, Tomás;
Sequeira, Tiago;
Lourenço, João;
Seco, João Costa;
Ferreira, Carla

Publication type:

Article

Extending a brainiac prover to lambda-free higher-order logic.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 67, doi. 10.1007/s10009-021-00639-7

By:

Vukmirović, Petar;
Blanchette, Jasmin;
Cruanes, Simon;
Schulz, Stephan

Publication type:

Article

A logic-based incremental approach to graph repair featuring delta preservation.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 369, doi. 10.1007/s10009-020-00584-x

By:

Schneider, Sven;
Lambers, Leen;
Orejas, Fernando

Publication type:

Article

Preface.

Published in:

2021

By:

Leucker, Martin;
Colombo, Christian

Publication type:

Editorial

Automating deductive verification for weak-memory programs (extended version).

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 709, doi. 10.1007/s10009-020-00559-y

By:

Summers, Alexander J.;
Müller, Peter

Publication type:

Article

Automated reasoning for attributed graph properties.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 705, doi. 10.1007/s10009-018-0496-3

By:

Schneider, Sven;
Lambers, Leen;
Orejas, Fernando

Publication type:

Article

Monitoring modulo theories.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 205, doi. 10.1007/s10009-015-0380-3

By:

Decker, Normann;
Leucker, Martin;
Thoma, Daniel

Publication type:

Article

Model generation for quantified formulas with application to test data generation.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 439, doi. 10.1007/s10009-012-0227-0

By:

Gladisch, Christoph

Publication type:

Article

A generalization of the Helmholtz conditions for the existence of a first-order Lagrangian<FNR></FNR><FN>This work has been supported by the German Science Foundation (DFG) under contract No. Ma 1505/26 </FN>.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2006, v. 86, n. 9, p. 722, doi. 10.1002/zamm.200510278

By:

Kielau, Gerald;
Maißer, Peter

Publication type:

Article

SELFADJOINT SINGULAR DIFFERENTIAL OPERATORS FOR FIRST ORDER.

Published in:

Communications Series A1 Mathematics & Statistics, 2017, v. 67, n. 2, p. 156, doi. 10.1501/Commua1_0000000870

By:

IPEK, PEMBE;
ISMAILOV, ZAMEDDIN I.

Publication type:

Article

Revision Without Revision Sequences: Circular Definitions.

Published in:

Journal of Philosophical Logic, 2019, v. 48, n. 1, p. 57, doi. 10.1007/s10992-018-9481-2

By:

Rivello, Edoardo

Publication type:

Article

Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment).

Published in:

Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 233, doi. 10.1007/s10992-016-9421-y

By:

Antonelli, Aldo

Publication type:

Article

On A New Semantics for First-Order Predicate Logic.

Published in:

Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 259, doi. 10.1007/s10992-017-9429-y

By:

Andréka, Hajnal;
Benthem, Johan;
Németi, István

Publication type:

Article

Glymour and Quine on Theoretical Equivalence.

Published in:

Journal of Philosophical Logic, 2016, v. 45, n. 5, p. 467, doi. 10.1007/s10992-015-9382-6

By:

Barrett, Thomas;
Halvorson, Hans

Publication type:

Article

Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 5, p. 507, doi. 10.1007/s10992-014-9340-8

By:

Bazzoni, André

Publication type:

Article

A Generalization of the Routley-Meyer Semantic Framework.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 4, p. 411, doi. 10.1007/s10992-014-9328-4

By:

Thomas, Morgan

Publication type:

Article

BH-CIFOL: Case-Intensional First Order Logic.

Published in:

Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 835, doi. 10.1007/s10992-013-9292-4

By:

Belnap, Nuel;
Müller, Thomas

Publication type:

Article

Fregean Quantification Theory.

Published in:

Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 879, doi. 10.1007/s10992-013-9299-x

By:

Kripke, Saul

Publication type:

Article

First-Order Dialogical Games and Tableaux.

Published in:

Journal of Philosophical Logic, 2014, v. 43, n. 4, p. 785, doi. 10.1007/s10992-013-9289-z

By:

Clerbout, Nicolas

Publication type:

Article

CIFOL: Case-Intensional First Order Logic.

Published in:

Journal of Philosophical Logic, 2014, v. 43, n. 2/3, p. 393, doi. 10.1007/s10992-012-9267-x

By:

Belnap, Nuel;
Müller, Thomas

Publication type:

Article

First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 4, p. 595, doi. 10.1007/s10992-012-9240-8

By:

Grandi, Umberto;
Endriss, Ulle

Publication type:

Article

If Logic, Definitions and the Vicious Circle Principle.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 505, doi. 10.1007/s10992-011-9184-4

By:

Hintikka, Jaakko

Publication type:

Article

Tolerant, Classical, Strict.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 347, doi. 10.1007/s10992-010-9165-z

By:

Cobreros, Pablo;
Egré, Paul;
Ripley, David;
van Rooij, Robert

Publication type:

Article

On Fork Arrow Logic and its Expressive Power.

Published in:

Journal of Philosophical Logic, 2007, v. 36, n. 5, p. 489, doi. 10.1007/s10992-006-9043-x

By:

Veloso, Paulo;
Freitas, Renata;
Viana, Petrucio;
Benevides, Mario;
Veloso, Sheila

Publication type:

Article

Expressivity of Second Order Propositional Modal Logic.

Published in:

Journal of Philosophical Logic, 2006, v. 35, n. 2, p. 209, doi. 10.1007/s10992-005-9012-9

By:

Cate, Balder

Publication type:

Article

Socratic Proofs for Quantifiers<sup>★</sup>.

Published in:

Journal of Philosophical Logic, 2006, v. 35, n. 2, p. 147, doi. 10.1007/s10992-005-9000-0

By:

Wiśniewski, Andrzej;
Shangin, Vasilyi

Publication type:

Article

Squares in Fork Arrow Logic.

Published in:

Journal of Philosophical Logic, 2003, v. 32, n. 4, p. 343, doi. 10.1023/A:1024847106313

By:

de Freitas, Renata P.;
Viana, Jorge P.;
Benevides, Mario R. F.;
Veloso, Sheila R. M.;
Veloso, Paulo A. S.

Publication type:

Article

FIRST-ORDER FREGE THEORY IS UNDECIDABLE.

Published in:

Journal of Philosophical Logic, 2001, v. 30, n. 6, p. 613, doi. 10.1023/A:1013362627445

By:

Goldfarb, Warren

Publication type:

Article