Order:
Disambiguations
Howard Barringer [4]H. Barringer [4]Herbert R. Barringer [1]
  1.  24
    Modal and Temporal Argumentation Networks.H. Barringer, D. M. Gabbay & J. Woods - 2012 - Argument and Computation 3 (2-3):203 - 227.
    The traditional Dung networks depict arguments as atomic and study the relationships of attack between them. This can be generalised in two ways. One is to consider various forms of attack, support, feedback, etc. Another is to add content to nodes and put there not just atomic arguments but more structure, e.g. proofs in some logic or simply just formulas from a richer language. This paper offers to use temporal and modal language formulas to represent arguments in the nodes of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  17
    Temporal, Numerical and Meta-Level Dynamics in Argumentation Networks.H. Barringer, D. M. Gabbay & J. Woods - 2012 - Argument and Computation 3 (2-3):143 - 202.
    This paper studies general numerical networks with support and attack. Our starting point is argumentation networks with the Caminada labelling of three values 1=in, 0=out and ½=undecided. This is generalised to arbitrary values in [01], which enables us to compare with other numerical networks such as predator?prey ecological networks, flow networks, logical modal networks and more. This new point of view allows us to see the place of argumentation networks in the overall landscape of networks and import and export ideas (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  8
    We Will Show Them: Essays in Honour of Dov Gabbay.S. Artemov, H. Barringer, A. Garcez, L. Lamb & J. Woods (eds.) - 2005 - London: College Publications.
    This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of modal logic, intuitionistic logic, logic and language, nonmonotonic logic and logic programming, temporal logic, logic and learning, combination of logics, practical reasoning, logic and artificial intelligence, abduction, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  5
    Languages, Meta-Languages and METATEM, A Discussion Paper.Howard Barringer, Graham Gough, Derek Brough, Dov Gabbay & Ian Hodkinson - 1996 - Logic Journal of the IGPL 4 (2):255-272.
    Meta-languages are vital to the development and usage of formal systems, and yet the nature of meta-languages and associated notions require clarification. Here we attempt to provide a clear definition of the requirements for a language to be a meta-language, together with consideration of issues of proof theory, model theory and interpreters for such a language.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  5
    Jonathan Turner's "a Behavioral Theory of Social Structure": Impressive, but Why?Herbert R. Barringer - 1989 - Journal for the Theory of Social Behaviour 19 (1):141–144.
  6.  2
    Modelling Evolvable Component Systems: Part I: A Logical Framework.Howard Barringer, Dov Gabbay & David Rydeheard - 2009 - Logic Journal of the IGPL 17 (6):631-696.
    We develop a logical modelling approach to describe evolvable computational systems. In this account, evolvable systems are built hierarchically from components where each component may have an associated supervisory process. The supervisor's purpose is to monitor and possibly change its associated component. Evolutionary change may be determined purely internally from observations made by the supervisor or may be in response to external change. Supervisory processes may be present at any level in the component hierarchy allowing us to use evolutionary behaviour (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. We Will Show Them! Essays in Honour of Dov Gabbay.Sergei Artemov, H. Barringer, A. S. D'Avila Garcez, L. C. Lamb & J. Woods (eds.) - 2005 - London, U.K.: College Publications.
    No categories
     
    Export citation  
     
    Bookmark