Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Công Nghệ Thông Tin
Hệ điều hành
Dynamic epistemic reasoning with awareness and its legal application
tailieunhanh - Dynamic epistemic reasoning with awareness and its legal application
In this paper, we employ DEL with awareness for multi-agent to represent the predictability and model the typical criminal precedents. We propose a revised semantics of action model with awareness which can de¯ne each basic action model to reproduce the agent's considering process. |
Diệu Thúy
67
14
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Dynamic epistemic reasoning with awareness and its legal application
14
64
3
Semantic features of modality in research articles: A comparative study between indexed and non-indexed journals
10
34
1
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
462282
61
Giới thiệu :Lập trình mã nguồn mở
14
24830
79
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
11281
542
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10507
466
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9785
108
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8876
1160
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8461
426
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
8089
2279
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
7463
1763
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
7185
268
TỪ KHÓA LIÊN QUAN
Hệ điều hành
Dynamic epistemic reasoning
Awareness and its legal application
Dynamic epistemic logic
Action model
Model checking
Journal of Science and Technology
Model checking early requirements specifications
Model checking early requirements specifications in alloy
Model View Controller
Software is domain modeling
Khoa học máy tính
Tạp chí khoa học
Probabilistic Duration Calculus
Probabilistic Timed Automata
Markov Decision Process
Parallelizing random walk
Parallelizing random walk based model checking
Formal methods technique
The guidance techniques
The wrong guidance
Luận án Tiến sĩ
Kĩ thuật Model Checking
Kĩ thuật phần mềm
Hệ thống thời gian thực
Ôtômát thời gian
Ôtômát trọng số
Checking the conformability in CORBA
CORBA component model specifications
Software engineering
Verifying components in a CCM specification
Prove automatically
CORBA component model
natural sciences
science and technology
scientific reports
research projects
scientific research
Objects and Elements
Coordinate Systems
The Shell El e ment
Joint Con straints
Joints and De grees of Free dom
Introduction to Formal Methods
Formal specification
Formalformal verificationverification
Theorem proving
Software enggineers
BMC Bioinformatics
Stochastic temporal logic
DNA mutation models
Maximum likelihood
Metabolic model
Network visualization
Constraint based modeling
Consistency checking
TÀI LIỆU MỚI ĐĂNG
Data Structures and Algorithms - Chapter 8: Heaps
41
172
5
22-11-2024
báo cáo hóa học:" Increased androgen receptor expression in serous carcinoma of the ovary is associated with an improved survival"
6
150
3
22-11-2024
Giáo trình phân tích phương trình vi phân viết dưới dạng thuật toán đặc tính của hệ thống p1
5
149
1
22-11-2024
Báo cáo nghiên cứu nông nghiệp " Biofertiliser inoculant technology for the growth of rice in Vietnam: Developing technical infrastructure for quality assurance and village production for farmers "
12
132
2
22-11-2024
ETHICAL CODE HANDBOOK: Demonstrate your commitment to high standards
7
139
1
22-11-2024
Báo cáo nghiên cứu khoa học " Đại hội XVI thông qua điều lệ Đảng cộng sản Trung Quốc những sửa đổi bổ sung mới "
4
155
1
22-11-2024
The Ombudsman Enterprise and Administrative Justice
309
132
0
22-11-2024
Lịch sử Trung Quốc 5000 năm tập 3 part 2
54
139
1
22-11-2024
đề cương ôn tập chương Vật lý 10 - Cơ học
6
120
0
22-11-2024
THUẬT TOÁN LUYỆN KIM SONG SONG (Parallel Simulated Annealing Algorithms) GIẢI QUYẾT BÀI TOÁN MAX-SAT
41
113
1
22-11-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
8089
2279
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
7463
1763
Ebook Chào con ba mẹ đã sẵn sàng
112
4364
1369
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
6148
1258
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8876
1160
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3786
680
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3909
609
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4613
562
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
11281
542
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4445
490