Works matching DE "FIRST-order logic"
Results: 881
Multilateral Supervaluationism and Classicality: Multilateral Supervaluationism and Classicality: B. Kortenbach et al.
- Published in:
- Journal of Philosophical Logic, 2025, v. 54, n. 1, p. 247, doi. 10.1007/s10992-025-09786-7
- By:
- Publication type:
- Article
On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4: On Universally Free First-Order Extensions of Belnap-Dunn's...: H. Antunes and A. Rodrigues.
- Published in:
- Journal of Philosophical Logic, 2025, v. 54, n. 1, p. 169, doi. 10.1007/s10992-025-09783-w
- By:
- Publication type:
- Article
A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 64, p. 147, doi. 10.1613/jair.1.11337
- By:
- Publication type:
- Article
Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 62, p. 69, doi. 10.1613/jair.1.11203
- By:
- Publication type:
- Article
Probabilistic Description Logics for Subjective Uncertainty.
- Published in:
- Journal of Artificial Intelligence Research, 2017, v. 58, p. 1, doi. 10.1613/jair.5222
- By:
- Publication type:
- Article
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 47, p. 741, doi. 10.1613/jair.3949
- By:
- Publication type:
- Article
Lifted Variable Elimination: Decoupling the Operators from the Constraint Language.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 47, p. 393, doi. 10.1613/jair.3793
- By:
- Publication type:
- Article
Probabilistic Relational Planning with First Order Decision Diagrams.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 41, p. 231, doi. 10.1613/jair.3205
- By:
- Publication type:
- Article
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 40, p. 143, doi. 10.1613/jair.3126
- By:
- Publication type:
- Article
Grounding FO and FO(ID) with Bounds.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 38, p. 223, doi. 10.1613/jair.2980
- By:
- Publication type:
- Article
The DL-Lite Family and Relations.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 36, p. 1, doi. 10.1613/jair.2820
- By:
- Publication type:
- Article
First Order Decision Diagrams for Relational MDPs.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 431, doi. 10.1613/jair.2489
- By:
- Publication type:
- Article
Conjunctive Query Answering for the Description Logic SHIQ.
- Published in:
- 2008
- By:
- Publication type:
- Question & Answer
EXPLAINING THE ACTUALITY OPERATOR AWAY.
- Published in:
- Philosophical Quarterly, 2017, v. 67, n. 269, p. 709, doi. 10.1093/pq/pqx006
- By:
- Publication type:
- Article
Model-based code generation works: But how far does it go?—on the role of the generator.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 2, p. 267, doi. 10.1007/s10270-024-01172-2
- By:
- Publication type:
- Article
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 4, p. 1411, doi. 10.1007/s10270-022-00986-2
- By:
- Publication type:
- Article
Transitive-closure-based model checking (TCMC) in Alloy.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 3, p. 721, doi. 10.1007/s10270-019-00763-8
- By:
- Publication type:
- Article
LK-IB: a hybrid framework with legal knowledge injection for compulsory measure prediction.
- Published in:
- Artificial Intelligence & Law, 2024, v. 32, n. 3, p. 595, doi. 10.1007/s10506-023-09362-x
- By:
- Publication type:
- Article
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
- Published in:
- Artificial Intelligence & Law, 2024, v. 32, n. 2, p. 505, doi. 10.1007/s10506-023-09360-z
- By:
- Publication type:
- Article
One method for constructing exact solutions of equations of two-dimensional hydrodynamics of an incompressible fluid.
- Published in:
- Theoretical & Mathematical Physics, 2006, v. 147, n. 1, p. 501, doi. 10.1007/s11232-006-0057-x
- By:
- Publication type:
- Article
Spectral WENO schemes with Adaptive Mesh Refinement for models of polydisperse sedimentation.
- Published in:
- ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2013, v. 93, n. 6-7, p. 373, doi. 10.1002/zamm.201100189
- By:
- Publication type:
- Article
Instantaneous closed loop control of the radiative transfer equations with applications in radiotherapy.
- Published in:
- ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2012, v. 92, n. 1, p. 8, doi. 10.1002/zamm.201000191
- By:
- Publication type:
- Article
Differentiable Rule Extraction with Large Language Model for Knowledge Graph Reasoning.
- Published in:
- Journal of Frontiers of Computer Science & Technology, 2023, v. 17, n. 10, p. 2403, doi. 10.3778/j.issn.1673-9418.2306049
- By:
- Publication type:
- Article
Prognosis and Remaining Useful Life Estimation of Lithium-Ion Battery with Optimal Multi-Level Particle Filter and Genetic Algorithm.
- Published in:
- Batteries, 2018, v. 4, n. 2, p. 1, doi. 10.3390/batteries4020015
- By:
- Publication type:
- Article
Dealing with uncertainty: A rough-set-based approach with the background of classical logic.
- Published in:
- Annales Mathematicae et Informaticae, 2021, v. 53, p. 157, doi. 10.33039/ami.2021.02.005
- By:
- Publication type:
- Article
Axiomatization of Blockchain Theory.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 13, p. 2966, doi. 10.3390/math11132966
- By:
- Publication type:
- Article
Computational Complexity of Theories of a Binary Predicate with a Small Number of Variables.
- Published in:
- Doklady Mathematics, 2022, v. 106, n. 3, p. 458, doi. 10.1134/S1064562422700053
- By:
- Publication type:
- Article
On the 4-Spectrum of First-Order Properties of Random Graphs.
- Published in:
- Doklady Mathematics, 2021, v. 104, n. 2, p. 247, doi. 10.1134/S1064562421050185
- By:
- Publication type:
- Article
On the Convergence of Probabilities of First-Order Sentences for Recursive Random Graph Models.
- Published in:
- Doklady Mathematics, 2020, v. 102, n. 2, p. 384, doi. 10.1134/S1064562420050464
- By:
- Publication type:
- Article
Zero–One Laws for Sentences with k Variables.
- Published in:
- Doklady Mathematics, 2019, v. 99, n. 3, p. 270, doi. 10.1134/S1064562419030098
- By:
- Publication type:
- Article
First-order and monadic properties of highly sparse random graphs.
- Published in:
- Doklady Mathematics, 2016, v. 94, n. 2, p. 555, doi. 10.1134/S1064562416050240
- By:
- Publication type:
- Article
On the spectra of first-order language properties for random graphs.
- Published in:
- Doklady Mathematics, 2015, v. 92, n. 1, p. 503, doi. 10.1134/S1064562415040304
- By:
- Publication type:
- Article
On the completeness of systems of root vectors for first-order systems: Application to the Regge problem.
- Published in:
- Doklady Mathematics, 2013, v. 88, n. 3, p. 678, doi. 10.1134/S1064562413060148
- By:
- Publication type:
- Article
On the completeness of the root vectors of first-order systems.
- Published in:
- Doklady Mathematics, 2010, v. 82, n. 3, p. 899, doi. 10.1134/S1064562410060165
- By:
- Publication type:
- Article
Riemann-Hilbert-Poincare boundary value problems for general first-order elliptic systems.
- Published in:
- Doklady Mathematics, 2010, v. 82, n. 2, p. 801, doi. 10.1134/S1064562410050327
- By:
- Publication type:
- Article
Prediction Limits for Poisson INAR(1) Process.
- Published in:
- Journal of Mathematical & Fundamental Sciences, 2015, v. 47, n. 2, p. 117, doi. 10.5614/j.math.fund.sci.2015.47.2.1
- By:
- Publication type:
- Article
A Pursuit Problem Described by Infinite System of Differential Equations with Coordinate-Wise Integral Constraints on Control Functions.
- Published in:
- Malaysian Journal of Mathematical Sciences, 2015, v. 9, n. 1, p. 67
- By:
- Publication type:
- Article
A Study of the Optimal Model of the Flotation Kinetics of Copper Slag from Copper Mine BOR.
- Published in:
- Archives of Mining Sciences, 2014, v. 59, n. 3, p. 821, doi. 10.2478/amsc-2014-0057
- By:
- Publication type:
- Article
Visual Domain Ontology using OWL Lite for Semantic Image Processing.
- Published in:
- TEM Journal, 2019, v. 8, n. 2, p. 372, doi. 10.18421/TEM82-08
- By:
- Publication type:
- Article
What Can One Expect from Logic in the Law? (Not Everything, but More than Something: A Reply to Susan Haack).
- Published in:
- 2008
- By:
- Publication type:
- Obituary
Stochastic resonance in a harmonic oscillator subject to random mass and periodically modulated noise.
- Published in:
- European Physical Journal B: Condensed Matter, 2018, v. 91, n. 2, p. 1, doi. 10.1140/epjb/e2017-80165-9
- By:
- Publication type:
- Article
Monte Carlo studies of the square Ising model with next-nearest-neighbor interactions.
- Published in:
- European Physical Journal B: Condensed Matter, 2006, v. 50, n. 1/2, p. 63, doi. 10.1140/epjb/e2006-00032-2
- By:
- Publication type:
- Article
Estimating Moving Average Parameters: Classical Pileups and Bayesian Posteriors.
- Published in:
- Journal of Business & Economic Statistics, 1993, v. 11, n. 3, p. 311, doi. 10.2307/1391955
- By:
- Publication type:
- Article
Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.
- Published in:
- Symmetry (20738994), 2022, v. 14, n. 3, p. 588, doi. 10.3390/sym14030588
- By:
- Publication type:
- Article
A Novel Categorical Approach to Semantics of Relational First-Order Logic.
- Published in:
- Symmetry (20738994), 2020, v. 12, n. 10, p. 1584, doi. 10.3390/sym12101584
- By:
- Publication type:
- Article
Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic.
- Published in:
- Symmetry (20738994), 2018, v. 10, n. 11, p. 553, doi. 10.3390/sym10110553
- By:
- Publication type:
- Article
A PT -Symmetric Dual-Core System with the Sine-Gordon Nonlinearity and Derivative Coupling.
- Published in:
- Symmetry (20738994), 2016, v. 8, n. 6, p. 39, doi. 10.3390/sym8060039
- By:
- Publication type:
- Article
Da Fórmula Porchat: conflito das filosofias, vontade de incredulidade, decidibilidade.
- Published in:
- Discurso, 2020, v. 50, n. 2, p. 7, doi. 10.11606/issn.2318-8863.discurso.2020.181221
- By:
- Publication type:
- Article
Differential Models for Evolutionary Compositions.
- Published in:
- Mathematical Geosciences, 2014, v. 46, n. 4, p. 381, doi. 10.1007/s11004-014-9533-2
- By:
- Publication type:
- Article
IS QUINEAN NATURALISM DEPENDENT ON THE METAMETALANGUAGE OF METAPHYSICS?
- Published in:
- Discusiones Filosóficas, 2020, v. 21, n. 36, p. 39, doi. 10.17151/difil.2020.21.36.4
- By:
- Publication type:
- Article