Work

A Tableau-Based Forgetting in ALCQ

Year: 2016

Type: conference-paper

Source: Communications in computer and information science

DOI: 10.1007/978-981-10-3168-7_11

Authors: Hong Fang, Xiaowang Zhang

Institutions: Shanghai Polytechnic University, Tianjin University, Southeast University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2556907653

FWCI:

Cites: 7

Cited by:

Related to: 10