Representation of formal dispute with a standing order

Author： Vreeswijk G.A.W.  

Publisher： Springer Publishing Company

ISSN： 0924-8463

Source： Artificial Intelligence and Law, Vol.8, Iss.2-3, 2000-09, pp. : 205-231

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Formal Model for Representation and Querying of Structured Documents

By Lowe B.   Zobel J.   Sacks-Davis R.  

Journal of Systems Integration, Vol. 7, Iss. 1, 1997-01 ,pp. : 31-46

Springer Publishing Company

Access to resources Recommend Favorite

Introduction: Special Issue on Partial Order in Formal Methods

By Peled Doron  

Formal Methods in System Design, Vol. 26, Iss. 1, 2005-01 ,pp. : 5-6

Springer Publishing Company

Access to resources Recommend Favorite

Modeling and formal verification of embedded systems based on a Petri net representation

By Cortes L.A.   Eles P.   Peng Z.  

Journal of Systems Architecture, Vol. 49, Iss. 12, 2003-12 ,pp. : 571-598

Elsevier

Access to resources Recommend Favorite

Kusuoka representation of higher order dual risk measures

By Dentcheva Darinka  

Annals of Operations Research, Vol. 181, Iss. 1, 2010-12 ,pp. : 325-335

Springer Publishing Company

Access to resources Recommend Favorite

A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine

By  

International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 3, Iss. 4, 2011-10 ,pp. : 1-17

IGI Global_journal

Access to resources Recommend Favorite