Articles with "representing reasoning" as a keyword



Representing and reasoning about auctions

Sign Up to like & get
recommendations!
Published in 2022 at "Autonomous Agents and Multi-Agent Systems"

DOI: 10.1007/s10458-022-09547-9

Abstract: The goal of this paper is to propose a framework for representing and reasoning about the rules of auction-based protocols. Such a framework is of interest for building digital marketplaces based on this type of… read more here.

Keywords: framework; representing reasoning; language; mathcal mathcal ... See more keywords

Representing and Reasoning With Non-Functional Requirements: A Retrospective

Sign Up to like & get
recommendations!
Published in 2025 at "IEEE Transactions on Software Engineering"

DOI: 10.1109/tse.2025.3533418

Abstract: We offer a retrospective on a paper published in the IEEE Transactions on Software Engineering in 1992, hereafter the NFR paper, that recently won a Most Influential Paper award. We first present the main contributions… read more here.

Keywords: nfr paper; representing reasoning; reasoning non; paper ... See more keywords