Results 261 to 270 of about 506,932 (281)

A complete first-order temporal BDI logic for forest multi-agent systems

Knowledge-Based Systems, 2012
Kaile Su, Qingliang Chen, Jin-shu Su
exaly  

An intelligent modeling and analysis method of manufacturing process using the first-order predicate logic

Computers and Industrial Engineering, 2009
Zhenwei Wang
exaly  

Review of Classical First-Order Logic

2008
openaire   +1 more source

Interpretability of Classical First-Order Logic

2002
openaire   +1 more source

YinYang bipolar logic and bipolar fuzzy logic

Information Sciences, 2004
Wen-Ran Zhang
exaly  

Classical Systems of First-Order Modal Logic

Studia Logica, 2006
Pacuit, E.J., Arlo-Costa, H.
openaire   +1 more source

Determination of α-resolution in lattice-valued first-order logic LF(X)

Information Sciences, 2011
Jun Liu
exaly  

α-Resolution principle based on first-order lattice-valued logic LF(X)

Information Sciences, 2001
Jun Liu
exaly  

Constraint Propagation for First-Order Logic and Inductive Definitions

ACM Transactions on Computational Logic, 2013
Marc Denecker, Maurice Bruynooghe
exaly  

Continuous first order logic and local stability

Transactions of the American Mathematical Society, 2010
Alexander Usvyatsov
exaly