Works matching DE "PROPOSITIONAL calculus"
Results: 342
Classes of Hard Formulas for QBF Resolution.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 77, p. 1455, doi. 10.1613/jair.1.14710
- By:
- Publication type:
- Article
Subgoaling Techniques for Satisficing and Optimal Numeric Planning.
- Published in:
- Journal of Artificial Intelligence Research, 2020, v. 68, p. 691, doi. 10.1613/jair.1.11875
- By:
- Publication type:
- Article
Strong Equivalence of Qualitative Optimization Problems.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 47, p. 351, doi. 10.1613/jair.3991
- 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
On University of General Reversible Multiple-Valued Logic Gates.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2006, v. 12, n. 5-6, p. 417
- By:
- Publication type:
- Article
Subject Matter: A Modest Proposal.
- Published in:
- Philosophical Quarterly, 2021, v. 71, n. 3, p. 605, doi. 10.1093/pq/pqaa054
- By:
- Publication type:
- Article
The structure of communicative acts.
- Published in:
- Linguistics & Philosophy, 2021, v. 44, n. 2, p. 425, doi. 10.1007/s10988-019-09289-0
- By:
- Publication type:
- Article
The mathematics of patent claim analysis.
- Published in:
- Artificial Intelligence & Law, 2011, v. 19, n. 4, p. 263, doi. 10.1007/s10506-011-9107-2
- By:
- Publication type:
- Article
Schema Complexity in Propositional-Based Logics.
- Published in:
- Mathematics (2227-7390), 2021, v. 9, n. 21, p. 2671, doi. 10.3390/math9212671
- By:
- Publication type:
- Article
A ORIGINALIDADE DA LÓGICA PROPOSICIONAL DOS ESTOICOS FRENTE AO CÁLCULO PROPOSICIONAL CLÁSSICO.
- Published in:
- Aufklärung: Revista de Filosofia, 2022, v. 9, n. 2, p. 93, doi. 10.18012/arf.v9i2.61301
- By:
- Publication type:
- Article
The existence of strongly computable representations in the class of Boolean algebras.
- Published in:
- Doklady Mathematics, 2012, v. 86, n. 1, p. 469, doi. 10.1134/S1064562412040084
- By:
- Publication type:
- Article
Distance-regular graph with the intersection array {56, 45, 1; 1, 9, 56} is not vertex-symmetric.
- Published in:
- Doklady Mathematics, 2010, v. 82, n. 3, p. 927, doi. 10.1134/S1064562410060232
- By:
- Publication type:
- Article
Role of Logic in Cognitive Science.
- Published in:
- Studia Humana, 2018, v. 7, n. 1, p. 21, doi. 10.2478/sh-2018-0002
- By:
- Publication type:
- Article
The inter-sentential function of Mandarin bei passives.
- Published in:
- Chinese Language & Discourse, 2014, v. 5, n. 2, p. 252, doi. 10.1075/cld.5.2.06wuy
- By:
- Publication type:
- Article
Sentential negation at the syntax-prosody interface.
- Published in:
- Revista Veredas, 2013, v. 17, n. 2, p. 1
- By:
- Publication type:
- Article
Semantic games with chance moves revisited: from IF logic to partial logic.
- Published in:
- Synthese, 2013, v. 190, n. 9, p. 1605, doi. 10.1007/s11229-011-9897-5
- By:
- Publication type:
- Article
Some remarks on restricting the knowability principle.
- Published in:
- Synthese, 2013, v. 190, n. 1, p. 63, doi. 10.1007/s11229-010-9833-0
- By:
- Publication type:
- Article
Effectivity functions and efficient coalitions in Boolean games.
- Published in:
- Synthese, 2012, v. 187, p. 73, doi. 10.1007/s11229-012-0130-y
- By:
- Publication type:
- Article
ANÁLISE PROPOSICIONAL QUANTITATIVA APLICADA À PESQUISA EM ADMINISTRAÇÃO.
- Published in:
- RAE: Revista de Administração de Empresas, 2011, v. 51, n. 4, p. 396, doi. 10.1590/S0034-75902011000400007
- By:
- Publication type:
- Article
Influencing rent-seeking contests.
- Published in:
- Public Choice, 2008, v. 135, n. 3/4, p. 291, doi. 10.1007/s11127-007-9263-9
- By:
- Publication type:
- Article
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.
- Published in:
- Studia Logica, 2023, v. 111, n. 6, p. 979, doi. 10.1007/s11225-023-10052-7
- By:
- Publication type:
- Article
An Axiomatisation of a Pure Calculus of Names.
- Published in:
- Studia Logica, 2012, v. 100, n. 5, p. 921, doi. 10.1007/s11225-012-9441-8
- By:
- Publication type:
- Article
An Intuitionistic Completeness Theorem for Classical Predicate Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 109, doi. 10.1007/s11225-010-9273-3
- By:
- Publication type:
- Article
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 95, doi. 10.1007/s11225-010-9275-1
- By:
- Publication type:
- Article
Functional Monadic Bounded Algebras.
- Published in:
- Studia Logica, 2010, v. 96, n. 1, p. 41, doi. 10.1007/s11225-010-9271-5
- By:
- Publication type:
- Article
Reversed Resolution in Reducing General Satisfiability Problem.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 407, doi. 10.1007/s11225-010-9262-6
- By:
- Publication type:
- Article
Non-standard Stochastics with a First Order Algebraization.
- Published in:
- Studia Logica, 2010, v. 95, n. 3, p. 345, doi. 10.1007/s11225-010-9266-2
- By:
- Publication type:
- Article
An Alternative Propositional Calculus for Application to Empirical Sciences.
- Published in:
- Studia Logica, 2010, v. 95, n. 1/2, p. 233, doi. 10.1007/s11225-010-9259-1
- By:
- Publication type:
- Article
Non-existence of n-dimensional T-embedded discs in R<sup>2n</sup>.
- Published in:
- Commentarii Mathematici Helvetici, 2006, v. 81, n. 4, p. 877, doi. 10.4171/cmh/78
- By:
- Publication type:
- Article
Service facilities with Markovian demand and deterministic supply with an application in repair modelling.
- Published in:
- IMA Journal of Management Mathematics, 2010, v. 21, n. 4, p. 373, doi. 10.1093/imaman/dpn011
- By:
- Publication type:
- Article
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS.
- Published in:
- Proceedings of the YSU A: Physical & Mathematical Sciences, 2022, v. 56, n. 2, p. 58, doi. 10.46991/PYSU:A/2022.56.2.058
- By:
- Publication type:
- Article
STRICTLY SUB ROW HADAMARD MAJORIZATION.
- Published in:
- Journal of Mahani Mathematical Research Center, 2022, v. 11, n. 1, p. 159, doi. 10.22103/jmmrc.2021.18576.1177
- By:
- Publication type:
- Article
THE SECOND PROPOSITION.
- Published in:
- Journal of Education, 1887, v. 26, n. 6, p. 100
- By:
- Publication type:
- Article
Formulating constraint satisfaction problems for the inspection of configuration rules.
- Published in:
- AI EDAM, 2016, v. 30, n. 3, p. 313, doi. 10.1017/S0890060415000487
- By:
- Publication type:
- Article
Łukasiewicz Implication Prealgebras.
- Published in:
- Annals of the University of Craiova. Mathematics & Computer Science Series, 2017, v. 44, n. 1, p. 115
- By:
- Publication type:
- Article
Binary Tree Code Words as Context-Free Languages.
- Published in:
- Computer Journal, 1998, v. 41, n. 6, p. 422, doi. 10.1093/comjnl/41.6.422
- By:
- Publication type:
- Article
Graded logic for decision support systems.
- Published in:
- International Journal of Intelligent Systems, 2019, v. 34, n. 11, p. 2900, doi. 10.1002/int.22177
- By:
- Publication type:
- Article
Enhancing Non-Native Prospective English Language Teachers' Competency In Sentential Stress Patterns In English.
- Published in:
- Pamukkale University Journal of Education, 2013, n. 34, p. 183, doi. 10.9779/PUJE625
- By:
- Publication type:
- Article
Algebraic semantics for the.
- Published in:
- Mathematical Logic Quarterly, 2017, v. 63, n. 3/4, p. 202, doi. 10.1002/malq.201600046
- By:
- Publication type:
- Article
A note on infinitary continuous logic.
- Published in:
- Mathematical Logic Quarterly, 2015, v. 61, n. 6, p. 448, doi. 10.1002/malq.201400077
- By:
- Publication type:
- Article
The.
- Published in:
- Mathematical Logic Quarterly, 2015, v. 61, n. 1/2, p. 32, doi. 10.1002/malq.201300068
- By:
- Publication type:
- Article
Isomorphic formulae in classical propositional logic.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 5, doi. 10.1002/malq.201020020
- By:
- Publication type:
- Article
Simulating non-prenex cuts in quantified propositional calculus.
- Published in:
- Mathematical Logic Quarterly, 2011, v. 57, n. 5, p. 524, doi. 10.1002/malq.201020093
- By:
- Publication type:
- Article
Does gratitude to R for ϕ-ing imply gratitude that R ϕ-ed?
- Published in:
- Philosophical Studies, 2020, v. 177, n. 11, p. 3245, doi. 10.1007/s11098-019-01368-z
- By:
- Publication type:
- Article
Lie-toe-tease: double negatives and unexcluded middles.
- Published in:
- Philosophical Studies, 2017, v. 174, n. 1, p. 79, doi. 10.1007/s11098-015-0509-y
- By:
- Publication type:
- Article
Löb's Theorem Philosophically Interpreted.
- Published in:
- Philosophical Alternatives Journal / Filosofski Alternativi, 2011, v. 20, n. 4, p. 142
- By:
- Publication type:
- Article
A Note on Horner's Method.
- Published in:
- Journal of Concrete & Applicable Mathematics, 2012, v. 10, n. 1/2, p. 53
- By:
- Publication type:
- Article
NONIDENTIFIABILITY OF THE TWO-STATE MARKOVIAN ARRIVAL PROCESS.
- Published in:
- Journal of Applied Probability, 2010, v. 47, n. 3, p. 630, doi. 10.1239/jap/1285335400
- Publication type:
- Article
Measuring logic complexity can guide pattern discovery in empirical systems.
- Published in:
- Complexity, 2016, v. 21, p. 397, doi. 10.1002/cplx.21819
- By:
- Publication type:
- Article
Revisiting the loss of verb movement in the history of English.
- Published in:
- Natural Language & Linguistic Theory, 2016, v. 34, n. 2, p. 497, doi. 10.1007/s11049-015-9312-x
- By:
- Publication type:
- Article