verifying analytic inconsistency system procedure controllers model setting calculi industrial curricula means personalization proof programmazione presentations video tableau description sequent composition students fractal importing communicating about roles models sites powerjava revision workshop oggetti objects ranked agenti relations knowledge concepts multimedia environments robots conformance automated specification query conditional bridging based with logic actions function linear web reasoning techniques agent capabilities networks theory belief learning coordination interaction logics multimodal inside negation documents dalt calculus presentation e curriculum time specifying programming condlean programs nonmonotonic image adaptation modeling systems framework oriented tutoring data updates preferential support object courseware testbeds control as international modal 2007 equivalence applications agents structured interoperability checking planning design prover using autoepistemic approach cumulative technologies methods social default service resolution temporal distributed klm examples dynamic algebra open semantic extended querying theorem policies goaldirected protocol extraction proc logicbased adaptive verification languages hypothetical notion elearning agentlike protocols rational validation choreographydriven iterated semantics language services abductive standard algorithmic failure tableaux fuzzy orientation declarative webbased databases lukasiewicz action