Active Logic, Metacognitive Computation, and Mind

Toward Human-Level Cognitive Adequacy
Our long-range aim is to design and implement common sense in a computer. Click here for details.


If you would like to learn more about Active Logic, we suggest you start with one of our primers.

Publications by Year

2019

  • Perlis, D., Bakalian, C., Brody, J., Clausner, T., Goldberg, M.D., Hamlin, A., Hsiao, V., Josyula, D., Maxey, C., Sekora, D., Shamwell, J., & J. Silverberg (2019). Live and learn, ask and tell: Agents over tasks. International Workshop on Spoken Dialogue Systems (IWSDS), Special Session on Dialog Systems and Lifelong Learning, April 24-26. Siracusa, Italy
  • Perlis, D., & Brody, J. (2019). Operationalizing Consciousness. AAAI Spring Symposium, Towards Conscious AI Systems 2019.

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1991

1990

  • Planning and acting in deadline situations. Kraus, S. and Nirkhe, M. and Perlis, D.. 1990 . Presented at the AAAI-90 Workshop on Planning in Complex Domains.
  • Reasoning Situated in Time I: Basic Concepts. J. Elgot-Drapkin and D. Perlis. Journal of Experimental and Theoretical Artificial Intelligence. 1990. 2. 1. 75--98.
  • Limited Scope and Circumscriptive Reasoning. Etherington, D., Kraus, S. and Perlis, D.. Advances in Human and Machine Cognition, Volume 1, The Frame Problem in Artificial Intelligence. JAI Press. 1990. To appear.
  • Nonmonotonicity and the Scope of Reasoning: Preliminary Report. Etherington, D. and Kraus, S. and Perlis, D.. Proceedings of the 8th National Conference on Artificial Intelligence. AAAI. 1990. Boston, MA. 600--607.
  • Fully Deadline-Coupled Real-time PlanningS. Kraus and M. Nirkhe and P. Perlis. 1990. To appear in the proceedings of 1990 DARPA workshopon Innovative Approaches to Planning, Scheduling and Control.
  • Intentionality and defaults. D. Perlis. International J. of Expert Systems. 345--354. 3. 1990. Special issue on the Frame Problem, K. Ford and P. Hayes (eds). Reprinted as a chapter in Advances in Human and Machine Cognition, vol.~1: the Frame Problem in Artificial Intelligence, K.~Ford and P.~Hayes (eds.), JAI Press, 1991.
  • Deadline-Coupled Real-time Planning. S. Kraus and M. Nirkhe and D. Perlis. 1990. 100--108. Proceedings of 1990 DARPA workshop on Innovative Approaches to Planning, Scheduling and Control. San Diego, CA.
  • Planning and Acting in Deadline Situations. S. Kraus and M. Nirkhe and D. Perlis. 1990. Proceedings of AAAI-90 Workshop on Planning in Complex Domains.

1989

1988

1987

  • Proving Facts about I. Miller, M. and Perlis, D.. Proceedings of the 10th Int’l Joint Conference on Artificial Intelligence. 1987 . 499--501.
  • Circumscribing with Sets. D. Perlis. Artificial Intelligence. 1987. 31. 201--211.
  • How Can a Program Mean?. D. Perlis. Proceedings of the 10th Int’l Joint Conference on Artificial Intelligence. 1987. 163--166.
  • The Two Frame Problems. J. Elgot-Drapkin and M. Miller and D. Perlis. Proceedings of the 1987 Workshop on The Frame Problem. 1987. F. M. Brown. Morgan Kaufmann. Lawrence, Kansas. 23--28.
  • Life on a Desert Island: Ongoing Work on Real-time Reasoning. J. Elgot-Drapkin and M. Miller and D. Perlis. Proceedings of the 1987 Workshop on The Frame Problem. Lawrence, Kansas. 349--357. F. M. Brown. Morgan Kaufmann. 1987.
  • Proving self-utterances. Miller, M. and Perlis, D.. Journal of Automated Reasoning. 1987. 3. 329--338.

1986

1985

1984

1981

  • Language, Computation, and Reality. D. Perlis. 1981 . Rochester, NY. Department of Computer Science, University of Rochester.