Nicholas Lincoln

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Autonomous Systems

Natural Language

Uncertain Environments

Top Venues

Autom. Softw. Eng.

J. Intell. Robotic Syst.

Publications

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. 23 (3) (2016)
Nicholas Lincoln, Sandor M. Veres
Natural Language Programming of Complex Robotic BDI Agents. J. Intell. Robotic Syst. 71 (2) (2013)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Practical Verification of Decision-Making in Agent-Based Autonomous Systems. CoRR (2013)
Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
An agent based framework for adaptive control and decision making of autonomous vehicles. ALCOSP (2010)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Declarative Abstractions for Agent Based Hybrid Control Systems. DALT (2010)
Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres
Satellite Control Using Rational Agent Programming. IEEE Intell. Syst. 25 (3) (2010)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Agent Based Approaches to Engineering Autonomous Space Software FMA (2009)