Cover Image

Formal specification of complex reasoning systems /

Bibliographic Details
Corporate Authors:	International Workshop on Formal Specification, European Conference on Artificial Intelligence, Vrije Universiteit Amsterdam. Artificial Intelligence Group
Other Authors:	Treur, Jan, 1952-, Wetter, Thomas, 1953-
Format:	Conference Proceeding Book
Language:	English
Published:	New York : Ellis Horwood, 1993.
Series:	Ellis Horwood series in workshops.
Subjects:	Expert systems (Computer science) > Congresses. Computer software > Development > Congresses.

Similar Items

Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992 /
Published: (1993)

Knowledge-based software engineering : proceedings of the seventh Joint Conference on Knowledge-Based Software Engineering /
Published: (2006)

Knowledge-based software engineering : proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000 /
Published: (2000)

Knowledge-based software engineering : proceedings of the Sixth Joint Conference on Knowledge-Based Software Engineering /
Published: (2004)

Expert systems for software engineers and managers /
by: Hu, S. David
Published: (1987)

Knowledge-based software development for real-time distributed systems /
by: Tsai, Jeffrey J.-P
Published: (1993)

Principles of artificial intelligence and expert systems development /
by: Rolston, David W.
Published: (1988)

New trends in software methodologies, tools and techniques : proceedings of the Eighth SoMeT_09 /
Published: (2009)

New trends in software methodologies, tools and techniques : proceedings of the fourth SoMeTW 05 /
Published: (2005)

New trends in software methodologies, tools and techniques : proceedings of the seventh SoMeT_08 /
Published: (2008)

Computer-aided reasoning : an approach /
by: Kaufmann, Matt
Published: (2000)

Practical knowledge engineering : creating successful commercial expert systems /
by: Kelly, Richard V.
Published: (1991)

Verification and validation of rule-based expert systems /
by: Smith, Suzanne, 1953-
Published: (1993)

Advances in learning software organizations : 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings /
Published: (2004)

Advances in learning software organizations : 4th international workshop, LSO 2002, Chicago, IL, USA, August 6, 2002 : revised papers /
Published: (2003)

Proceedings : ... annual Knowledge-based Software Engineering Conference /

Learning software organizations : methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings /
Published: (2000)

Automated software engineering : 12th IEEE international conference : proceedings, November 1-5, 1997, Incline Village, Nevada, USA /
Published: (1997)

New trends in software methodologies, tools, and techniques : proceedings of the Third SoMeT W04 /
Published: (2004)

Knowledge-based software engineering : proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering /
Published: (2008)

The integration of expert systems into mainstream software /
by: Gillies, Alan
Published: (1991)

Foundations of intelligent systems : 16th international symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006 : proceedings /
Published: (2006)

Research and development in expert systems VIII : proceedings of Expert Systems 91, the Eleventh Annual Conference of the British Computer Society Specialist Group on Expert Systems, London, September 1991 /
Published: (1991)

Formal specification and design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1992)

Advances in case-based reasoning : Third European Workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996 : proceedings /
Published: (1996)

Advances in case-based reasoning : 4th European workshop, EWCBR-98, Dublin, Ireland, September 23-25, 1998 : proceedings /
Published: (1998)

Topics in case-based reasoning : first European Workshop, EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers /
Published: (1994)

New trends in software methodologies, tools and techniques /
Published: (2007)

Formal specification : techniques and applications /
by: Nissanke, Nimal
Published: (1999)

Operational expert system applications in Canada /
Published: (1991)

Practical knowledge engineering : creating successful commercial expert systems /
by: Kelly, Richard V.
Published: (1991)

Topics in case-based reasoning : first European workshop, EWCBR-93, Kaiserslautern, Germany, November 1 - 5, 1993 ; selected papers /
Published: (1994)

Fuzzy expert systems and fuzzy reasoning /
by: Siler, William
Published: (2005)

Knowledge based hybrid systems : proceedings of the IFIP TC5/WG5.3/IFAC International Working Conference on Knowledge Based Hybrid Systems in Engineering and Manufacturing, KNOWHSEM '93, Budapest, Hungary, 20-22 April 1993 /
Published: (1993)

Principled modeling of the requirements and functional specifications of knowledge-based systems /
by: Yen, John
Published: (1993)

Workshop on Industrial-Strength Formal Specification Techniques : proceedings, April 5-8, 1995, Boca Raton, Florida /
Published: (1995)

A knowledge-based approach to program understanding /
by: Abd-El-Hafiz, Salwa K.
Published: (1995)

Knowledge-based software engineering /
Published: (1997)

Expert systems : theory and applications /
Published: (1988)

Artificial intelligence and intelligent systems /
by: Padhy, N. P.
Published: (2005)