332,876 Hits in 4.5 sec

Reasoning about action and change

Helmut Prendinger, Gerhard Schurz
1996 Journal of Logic, Language and Information  
We study an approach to reasoning about action and change in a dynamic logic setting and provide a solution to problems which are related to the frame problem.  ...  It (implicitly) allows for the occurrence of actions of multiple agents by introducing non-stationary notions of waiting and test.  ...  Fine and Schurz (1996) follow a strategy different from that chosen here.  ... 
doi:10.1007/bf00173701 fatcat:fjqpxo3xijbtffaxwi5nchphci

Page 5146 of Mathematical Reviews Vol. , Issue 97H [page]

1997 Mathematical Reviews  
(English summary) Artificial Intelligence 84 (1996), no. 1-2, 57-112. Summary: “This paper presents a formalism that combines useful properties of both logic and probabilities.  ...  actions; and showing that for certain classes of such actions, regression, an effective computational mechanism, can be used to reason about them.”  ... 

Page 6576 of Mathematical Reviews Vol. , Issue 97K [page]

1997 Mathematical Reviews  
And so are hearing and jumping. (English summary) J. Logic Lang. Inform. 6 (1997), no. 1, 33-61.  ...  To implement these informative actions we use a general belief revision action which satisfies the AGM (Alchourron-Gardenfors-Makinson) postulates; dependent on the credibility of the incoming information  ... 

Page 3855 of Mathematical Reviews Vol. , Issue 98F [page]

1998 Mathematical Reviews  
Martelli and C. Palamidessi [Inform. and Comput. 120 (1995), no. 2, 263-278; MR 96h:68028].  ...  (English summary) Algebraic and logic programming ( Aachen, 1996), 32-46, Lecture Notes in Comput. Sci., 1139, Springer, Berlin, 1996.  ... 

Page 32 of Mathematical Reviews Vol. , Issue 97A [page]

1997 Mathematical Reviews  
Lokhorst, Reasoning about actions and obligations in first-order logic (221-237). {The papers are being reviewed individually. }  ...  Stud. 81 (1996), no. 2-3. Kluwer Academic Publishers Group, Dordrecht, 1996. pp. i—iii and 119-346.  ... 

Accounting for the Contradictory Organizational Consequences of Information Technology: Theoretical Directions and Methodological Implications

Daniel Robey, Marie-Claude Boudreau
1999 Information systems research  
In contrast to a logic of determination, a logic of opposition explains organizational change by identifying forces both promoting change and impeding change.  ...  of information technology.  ...  and Mezias 1996 .  ... 
doi:10.1287/isre.10.2.167 fatcat:bfb4zhuuffeq5e2gku6hturlse

Page 2744 of Mathematical Reviews Vol. , Issue 97E [page]

1997 Mathematical Reviews  
Logic Quart. 42 (1996), no. 2, 175-190.  ...  Logic Quart. 42 (1996), no. 2, 219-233. R. I. Goldblatt [Ann. Pure Appl.  ... 

Page 4515 of Mathematical Reviews Vol. , Issue 97G [page]

1997 Mathematical Reviews  
Logic Lang. Inform. 5 (1996), no. 2, 193-208.  ...  (English summary) Inform. and Comput. 128 (1996), no. 2, 109-118. Summary: “We continue research on enriching propositional dy- namic logic (PDL) with nonregular programs.  ... 

Logic and Artificial Intelligence [chapter]

Richmond H. Thomason
2009 The Development of Modern Logic  
Feature structures have a natural algebraic treatment, and there is an elegant treatment of their logic. For more information and references, see [ Rounds, 1996 ] .  ...  of states and actions given partial information in the form of a narrative.  ... 
doi:10.1093/acprof:oso/9780195137316.003.0047 fatcat:ftchyrt7yvclzdyhxh7qnv3xoi

On Social Design

Murali Venkatesh
2008 International Conference on Information Systems  
I define distinctive characteristics of such projects and offer an institutional conception of actors (designers) and actions.  ...  Simon's The Sciences of the Artificial is rightly influential as a founding text in design research in the information systems field (IS).  ...  These questions stem from a particular conception of the actor and of action informed by sociological institutional theory.  ... 
dblp:conf/icis/Venkatesh08 fatcat:ze5zj6caq5fvrpi6cuhd5muxm4

Page 5439 of Mathematical Reviews Vol. , Issue 98H [page]

1998 Mathematical Reviews  
., 1993 Computational Physics, 4th Granada Legacy of Rudolf Carnap Logic programming, nonmonotonic reasoning and reasoning about actions Lois d'algébres et variétés algébriques Madrid, 1991/1992 Madrid  ...  «81002 Computational Statistics, | 2th History of Particle Physics, 3rd International Logic Programming, Nonmonotonic Reasoning and Reasoning About Actions * 68009 Of Fluid Mechanics and Related Matters  ... 

Aspectual Information Represented by Arrow Logic

2000 Journal of Natural Language Processing  
and not expressed in precise logical formalisms,and in addition,aspectual terms are different from one theory to another.We first survey those theories and give a united view to terms.Thereafter,we propose  ...  various aspects in regard to the relations between the event structure and its references.We also formalize the rules for aspectual shifts from temporally infinite forms to aspectual forms,in logical  ...  The Situation in Logic." CSLI Lecture Notes 17.Barwise, J., and Seligman, J.(1997)." Information Flow." Cambridge University Press.Blackburn, P.,Gardent, C., and de Rijke, M.(1996)."  ... 
doi:10.5715/jnlp.7.4_3 fatcat:scnjkhktwrdipnw34ekpyvplre

Page 5901 of Mathematical Reviews Vol. , Issue 98I [page]

1998 Mathematical Reviews  
Inform. 28 (1996), no. 3-4, 303-313. Summary: “The logic of acceptance and rejection (AEL2) is a nonmonotonic formalism in the spirit of Moore’s autoepistemic logic (AEL).  ...  We show how information about this subgoal ordering can be deduced from the background action theory.  ... 

Page 2595 of Mathematical Reviews Vol. , Issue 97D [page]

1997 Mathematical Reviews  
IGPL 4 (1996), no. 1, 47-74. To plan the actions of a robot or of a more general intelligent agent, several theories of action have been developed.  ...  (English summary) Fuzzy Sets and Systems 82 (1996), no. 3, 351-355.  ... 

Page 7295 of Mathematical Reviews Vol. , Issue 98K [page]

1998 Mathematical Reviews  
Logic 25 (1996), no. 3, 221-261; MR 97d:68220). Here, the meaning of a sentence is not given by its truth condi- tions, but by the effect caused by information states of learning the sentence.  ...  The paper provides a semantic framework for reasoning about agents, their actions and their information states.  ... 
« Previous Showing results 1 — 15 out of 332,876 results