Reconstruction of non-logical axioms from the propositions of multi-agent doxastic logic

By Adamatzky Andrew I  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 27, Iss. 8, 1998-08 ,pp. : 952-958

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Towards semantically enriched business logic

By Eberhart A.  

Electronic Commerce Research and Applications, Vol. 2, Iss. 4, 2003-12 ,pp. : 288-301

Elsevier

Access to resources Recommend Favorite

Towards a semantics of proofs for non-commutative logic: multiplicatives and additives

By Abrusci V.M.  

Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. : 335-351

Elsevier

Access to resources Recommend Favorite

Towards a model of UAVs navigation in urban canyon through defeasible logic

By Lam Ho-Pun   Governatori Guido  

Journal of Logic and Computation, Vol. 23, Iss. 2, 2013-04 ,pp. : 373-395

Oxford University Press

Access to resources Recommend Favorite

Towards detecting redundancy in domain engineering process using first order logic rules

By Elfaki Abdelrahman Osman   Fong Sim Liew   Aik Kevin Loo Teow   Johar Md Gapar Md  

International Journal of Knowledge Engineering and Soft Data Paradigms, Vol. 4, Iss. 1, 2013-03 ,pp. : 1-20

Inderscience Publishers

Access to resources Recommend Favorite