Concepedia
Statistics
Publications
2
Citations
164
H-Index
Active since
1991
Affiliations
University of Milan(Current)
University of Maryland, College Park
Carlo Vago is an author at University of Milan specializing in automated reasoning, engineering, and non-monotonic logic.
Top concepts
EngineeringAutomated ReasoningNon-monotonic LogicStabilityFormal MethodsComputer ScienceLogic ProgrammingDescription LogicsRelational QueriesProgramming Languages
Publications per year
1991–1995
The Paraconsistent Logics P<i>J</i>
Newton C. A. da Costa, V. S. Subrahmanian, Carlo Vago · Mathematical logic quarterly · 1991 · 97 citations
Non-monotonic Logic, Engineering, Paraconsistent Logic +3
WFS + branch and bound = stable models
V. S. Subrahmanian, Dana Nau, Carlo Vago · IEEE Transactions on Knowledge and Data Engineering · 1995 · 67 citations
Mathematical Programming, Engineering, Well-founded Semantics +19
1–2 of 2