( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool).

, , , и . (октября 2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Irma Borgida

Alexander

Alexander Stadler

Messtechnische Bestimmung und Simulation der Kernverluste in weichmagnetischen Materialien. Uni Erlangen-Nürnberg, (2009)

Alexander Auch

A phylogenetic potpourri: computational methods for analysing genome scale data. Uni Tübingen, (2010)

Alexander Blecken

A reference task model for supply chain processes of humanitarian organisations. Uni Paderborn, (2009)
 

Другие публикации лиц с тем же именем

On the Frame Problem in Procedure Specifications., , и . IEEE Trans. Software Eng., 21 (10): 785-798 (1995)Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases., , и . On Knowledge Base Management Systems (Islamorada), стр. 259-286. Springer, (1985)The Software Development Environment as a Knowledge Base Management System., , , , и . Foundations of Knowledge Base Management (Xania), стр. 411-442. Springer, (1985)Aspects of Distributed and Modular Ontology Reasoning., , и . IJCAI, стр. 570-575. Professional Book Center, (2005)Formal studies of stratificational grammars.. University of Toronto, Canada, (1977)"...And Nothing Else Changes": The Frame Problem in Procedure Specifications., , и . ICSE, стр. 303-314. IEEE Computer Society / ACM Press, (1993)Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning., и . KR, стр. 33-43. Morgan Kaufmann, (1989)What's in an Attribute? Consequences for the Least Common Subsumer., и . J. Artif. Intell. Res., (2001)Data Semantics Revisited., и . SWDB, 3372, стр. 9-26. (2004)Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity., и . NMR, стр. 21-32. American Association for Artificial Intelligence (AAAI), (1984)