Concepedia

Natasha Alechina

NA

43

Publications

996

Citations

21

H-Index

1995

Active since

Affiliations

University of Nottingham(Current)

Utrecht University

University of Bergen

Delft University of Technology

Natasha Alechina is an author at University of Nottingham specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationMechanism DesignSocial SciencesSoftware Analysis

Publications per year

1995–2019

43

Publications

43

Programming norm-aware agents

Natasha Alechina, Mehdi Dastani, Brian Logan · Adaptive Agents and Multi-Agents Systems · 2012 · 68 citations

Normative Multi-agent System, Engineering, Program Analysis +15

A Complete and Decidable Logic for Resource-Bounded Agents

Natasha Alechina, Brian Logan, Mark Whitsey · Adaptive Agents and Multi-Agents Systems · 2004 · 46 citations

Computational Logic, General Completeness, Context-logic Style Formalism +15

A Modal Perspective on Path Constraints

Natasha Alechina · Journal of Logic and Computation · 2003 · 44 citations · Full text

Resource-bounded alternating-time temporal logic

Natasha Alechina, Brian Logan, Nguyen Hoang Nga et al. · Adaptive Agents and Multi-Agents Systems · 2010 · 43 citations

Computational Logic, Engineering, Automated Reasoning +14

Geospatial Information Integration for Authoritative and Crowd Sourced Road Vector Data

Heshan Du, Suchith Anand, Natasha Alechina et al. · Transactions in GIS · 2012 · 42 citations

Ontology Matching, Engineering, Geospatial Information Merging +20

Rows per page

1–5 of 43