Concepedia

Marco Schaerf

MS

36

Publications

1.8K

Citations

22

H-Index

1988

Active since

Affiliations

Sapienza University of Rome(Current)

Polytechnic University of Bari

Instituto Politécnico Nacional

North-Caucasus Federal University

Marco Schaerf is an author at Sapienza University of Rome specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsSemanticsFormal VerificationData ScienceEpistemologyReasoningSocial Sciences

Publications per year

1988–2024

36

Publications

36

Arbitration (or how to merge knowledge bases)

Paolo Liberatore, Marco Schaerf · IEEE Transactions on Knowledge and Data Engineering · 1998 · 174 citations

Artificial Intelligence, Negotiation, Engineering +23

Tractable reasoning via approximation

Marco Schaerf, Marco Cadoli · Artificial Intelligence · 1995 · 172 citations

Reasoning, Engineering, Reasoning System +4

Describing and reasoning on Web services using process algebra

Gwen Salaün, Lucas Bordeaux, Marco Schaerf · Proceedings. IEEE International Conference on Web Services, 2004. · 2004 · 150 citations

Web Service Specification, Engineering, Web Service Description +18

A survey of complexity results for non-monotonic logics

Marco Cadoli, Marco Schaerf · The Journal of Logic Programming · 1993 · 148 citations

Complexity Results, Non-classical Logic, Non-monotonic Logic +6

An algorithm to evaluate quantified Boolean formulae

Marco Cadoli, Andrea Giovanardi, Marco Schaerf · 1998 · 125 citations

Rows per page

1–5 of 36