Making contextual intensional logic nonmonotonicTHOMASON, Richmond H.Lecture notes in computer science. 2005, pp 501-514, issn 0302-9743, isbn 3-540-26924-X, 14 p.Conference Paper

An extensional spatial logic for mobile processesHIRSCHKOFF, Daniel.Lecture notes in computer science. 2004, pp 325-339, issn 0302-9743, isbn 3-540-22940-X, 15 p.Conference Paper

Conceptual contents as information -basics for Contextual Judgment logicWILLE, Rudolf.Lecture notes in computer science. 2003, pp 1-15, issn 0302-9743, isbn 3-540-40576-3, 15 p.Conference Paper

Negation in contextual logicKWUIDA, Léonard; TEPAVCEVIC, Andreja; SESELJA, Branimir et al.Lecture notes in computer science. 2004, pp 227-241, issn 0302-9743, isbn 3-540-22392-4, 15 p.Conference Paper

Contextual logic and Aristotle's syllogisticWILLE, Rudolf.Lecture notes in computer science. 2005, pp 238-249, issn 0302-9743, isbn 3-540-27783-8, 12 p.Conference Paper

Relation graphs: A structure for representing Relations in Contextual Logic of RelationsPOLLANDT, Silke.Lecture notes in computer science. 2002, pp 34-47, issn 0302-9743, isbn 3-540-43901-3, 14 p.Conference Paper

Boolean Judgment logicWILLE, Rudolf.Lecture notes in computer science. 2001, pp 115-128, issn 0302-9743, isbn 3-540-42344-3Conference Paper

First-order contextual reasoningPERRUSSEL, Laurent.Lecture notes in computer science. 2002, pp 11-20, issn 0302-9743, isbn 3-540-00124-7, 10 p.Conference Paper

Working with multiple ontologies on the Semantic WebCUENCA GRAU, Bernardo; PARSIA, Bijan; SIRIN, Evren et al.Lecture notes in computer science. 2004, pp 620-634, issn 0302-9743, isbn 3-540-23798-4, 15 p.Conference Paper

Contextualist Research: Iterating between Methods While Following an Empirically Grounded ApproachGREEN, Stuart D; KAO, Chung-Chin; LARSEN, Graeme D et al.Journal of construction engineering and management. 2010, Vol 136, Num 1, pp 117-126, issn 0733-9364, 10 p.Article

The teridentity and peircean algebraic logicCORREIA, Joachim Hereth; PÖSCHEL, Reinhard.Lecture notes in computer science. 2006, pp 229-246, issn 0302-9743, isbn 3-540-35893-5, 1Vol, 18 p.Conference Paper

Two instances of peirce's reduction thesisDAU, Frithjof; CORREIA, Joachim Hereth.Lecture notes in computer science. 2006, pp 105-118, issn 0302-9743, isbn 3-540-32203-5, 1Vol, 14 p.Conference Paper

Preconcept algebras and generalized double Boolean algebrasWILLE, Rudolf.Lecture notes in computer science. 2004, pp 1-13, issn 0302-9743, isbn 3-540-21043-1, 13 p.Conference Paper

Background knowledge in concept graphsDAU, Frithjof.Lecture notes in computer science. 2004, pp 156-171, issn 0302-9743, isbn 3-540-21043-1, 16 p.Conference Paper

Protoconcept graphs: The lattice of conceptual ContentsCORREIA, Joachim Hereth; KLINGER, Julia.Lecture notes in computer science. 2004, pp 14-27, issn 0302-9743, isbn 3-540-21043-1, 14 p.Conference Paper

Towards temporal contextual logic programmingNOGUEIRA, Vitor; ABREU, Salvador.Lecture notes in computer science. 2006, pp 439-441, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 3 p.Conference Paper

Objective: In minimum contextABREU, Salvador; DIAZ, Daniel.Lecture notes in computer science. 2003, pp 128-147, issn 0302-9743, isbn 3-540-20642-6, 20 p.Conference Paper

Proposition d'une structure de représentation de la connaissance pour les raisonnements non classiques = A knowledge representation structure for non classical reasoning formalismsKohler, Arnaud; Siegel, P.1995, 146 p.Thesis

Context logic and tree updateCALCAGNO, Cristiano; GARDNER, Philippa; ZARFATY, Uri et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 271-282, issn 1523-2867, 12 p.Conference Paper