Searching for authors named "Konstantine Arkoudas" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

Metareasoning for multi-agent epistemic logics
by Konstantine Arkoudas, Selmer Bringsjord — 2004 — In CLIMA V
…Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then use Athena as a metalanguage in order to reason about the multi-agent logic an as object language. This facilitates theo…
Cited by 7 (5 self) – Add To MetaCart

Deductive Runtime Certification
by Konstantine Arkoudas, Martin Rinard — 2004 — In Proceedings of the 2004 Workshop on Runtime Verification
…This paper introduces a notion of certified computation whereby an algorithm not only produces a result r for a given input x, but also proves that r is a correct result for x. This can greatly enhance the credibility of the result: if we trust the axioms and inference rules that are used in the pro…
Cited by 10 (8 self) – Add To MetaCart

Toward a general logicist methodology for engineering ethically correct robots
by Selmer Bringsjord, Konstantine Arkoudas, Paul Bello — 2006 — IEEE Intelligent Systems
…A deontic logic formalizes a moral code, allowing ethicists to render M a c h i n e E t h i c s theories and dilemmas in declarative form for analysis. It offers a way for human overseers to constrain robot behavior in ethically sensitive environments.…
Cited by 7 (3 self) – Add To MetaCart

Toward Ethical Robots via Mechanized Deontic
by Konstantine Arkoudas, Selmer Bringsjord, Paul Bello — 2005 — Logic”, AAAI Fall Symposium on Machine Ethics, AAAI
…5.2.05 Some (e.g., Joy 2000) have claimed that AI, inevitably, will produce robots 1 that both behave immorally, and have tremendous power. Unfortunately, these predictions, particularly among a public that seems bent on paying good money to see films depicting such dark futures, certainly have some…
Cited by 3 (1 self) – Add To MetaCart

Integrating model checking and theorem proving for relational reasoning
by Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin Rinard — 2003 — In Proceedings of the 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7
……
Cited by 12 (7 self) – Add To MetaCart

Verifying a file system implementation
by Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin Rinard — 2004 — In Sixth International Conference on Formal Engineering Methods (ICFEM’04), volume 3308 of LNCS
……
Cited by 18 (11 self) – Add To MetaCart

Reporting on some logic-based machine reading research
by Selmer Bringsjord, Konstantine Arkoudas, Micah Clark, Andrew Shilliday, Joshua Taylor, Bettina Schimanski, Yingrui Yang — 2007 — in Proceedings of the 2007 AAAI Spring Symposium: Machine Reading (SS–07–06), (Menlo Park, CA
…Much sponsored research in our lab either falls under or intersects with machine reading. In this short paper we give an encapsulated presentation of some of the research in question, leaving aside, for the most part, the…
Cited by 3 (3 self) – Add To MetaCart

Advanced synthetic characters, evil
by Selmer Bringsjord, Sangeet Khemlani, Konstantine Arkoudas, Chris Mcevoy, Marc Destefano, Matthew Daigle — 2005 — and E,” in Game-On 2005, 6th International Conference on Intelligent Games and Simulation (M. Al-Akaidi and
…We describe our approach to building advanced synthetic characters, within the paradigm of logic-based AI. Such characters don’t merely evoke beliefs that they have various mental properties; rather, they must actually have such properties. You might (e.g.) believe a standard synthetic character to …
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB