Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

Source URL: cgi.csc.liv.ac.uk

• Artificial intelligence
• Multi-agent systems
• Modeling and simulation
• Systems science
• Agent-based model
• Artificial life
• Complex systems theory
• Model checking
• Temporal logic
• Intelligent agent
• Sociology

Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Constraint programming
• Software engineering
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Solver
• Boolean satisfiability problem
• DPLL algorithm
• Constraint satisfaction problem

National Institute for Learning Outcomes Assessment July 2012 Using Assessment Results: Promising Practices of Institutions That Do It Well Gianina R. Baker, Natasha A. Jankowski, Staci Provezis & Jillian Kinzie

Source URL: www.learningoutcomeassessment.org

Update on ChemMine ChemMine. A Compound Mining Database for Chemical Genomics1 Thomas Girke2*, Li-Chang Cheng2, and Natasha Raikhel Center for Plant Cell Biology, Department of Botany and Plant Sciences, University of C

Source URL: cepceb.ucr.edu

Natasha Blitvic* (). Analysis in Non-tracial Non-commutative Probability Spaces. The setting for this talk is non-tracial probability spaces, that is, non commutative probability spaces

Source URL: jointmathematicsmeetings.org

FUTURE DIRECTIONS OF ASSESSMENT: MOVEMENT ON THE FIELD Natasha Jankowski Director, NILOA Jillian Kinzie

Source URL: www.learningoutcomeassessment.org

Indexicals∗ John Perry April 23, 2000 Suppose that Natasha says “I am right and you are wrong” to Joey. Natasha’s utterance of “I” designates Natasha and her utterance of “you” designates Joey.

Source URL: john.jperry.net

Baronial Council 18 February 2011 MINUTES 1. Attendance Catalina (Natasha Birt), Catherine (Catherine Harvey), Bechtold (Benjamin Jardine),

Source URL: aneala.lochac.sca.org

Practical Collections Care: A Syllabus Practical Collections Care: A Syllabus ©Norfolk Museums and Archaeology Service, 2012 Editors: Alex Dawson, Collections Trust; Susanna Hillhouse, Museum Consultant; Natasha

Source URL: sharemuseumseast.org.uk

Indexicals∗ John Perry April 23, 2000 Suppose that Natasha says “I am right and you are wrong” to Joey. Natasha’s utterance of “I” designates Natasha and her utterance of “you” designates Joey.

Source URL: www.john.jperry.net